flix/flix issues and pull requests

#4725 - Show module doc comments in API documentation

Issue - State: open - Opened by paulbutcher over 2 years ago - 2 comments

#4720 - Non-monotonic program where `fix` is insufficient

Issue - State: open - Opened by magnus-madsen over 2 years ago - 3 comments
Labels: A: datalog, problem

#4712 - Show built-in functions in API documentation

Issue - State: open - Opened by paulbutcher over 2 years ago - 5 comments
Labels: problem

#4707 - Colours not working properly in OSX

Issue - State: open - Opened by paulbutcher over 2 years ago
Labels: bug

#4701 - Error message for uncapitalized enum cases (possible dublicate)

Issue - State: open - Opened by AStenbaek over 2 years ago - 1 comment
Labels: A: errors, A: parsing, problem

#4687 - List which classes a type belongs to in API documentation

Issue - State: closed - Opened by paulbutcher over 2 years ago - 1 comment

#4683 - Allow type ascriptions in `for-yield` and `foreach`

Issue - State: open - Opened by jaschdoc over 2 years ago - 5 comments
Labels: student programmer, enhancement, low priority, A: parsing

#4676 - feat: add shorthand syntax for named-parameters

Issue - State: open - Opened by JonathanStarup over 2 years ago - 5 comments
Labels: enhancement, A: parsing

#4662 - Support generic Java types at the Flix type level, i.e. also use the kinds of classes and interfaces.

Issue - State: open - Opened by paulbutcher over 2 years ago
Labels: A: typing

#4618 - Infinite loop with type classes

Issue - State: closed - Opened by mlutze over 2 years ago - 2 comments
Labels: bug

#4617 - Re-entrancy and effects

Issue - State: open - Opened by magnus-madsen over 2 years ago - 2 comments
Labels: student project

#4616 - Effect Refactoring

Issue - State: open - Opened by magnus-madsen over 2 years ago - 1 comment
Labels: student project, enhancement

#4505 - error prone use of local predicate

Issue - State: open - Opened by JonathanStarup over 2 years ago
Labels: A: datalog, problem

#4505 - error prone use of local predicate

Issue - State: open - Opened by JonathanStarup over 2 years ago
Labels: A: datalog, problem

#4468 - Expose a Compiler AST as Datalog facts

Issue - State: open - Opened by magnus-madsen over 2 years ago
Labels: student project, A: datalog

#4468 - Expose a Compiler AST as Datalog facts

Issue - State: open - Opened by magnus-madsen over 2 years ago
Labels: student project, A: datalog

#4276 - Feature idea: Effect highlighting

Issue - State: open - Opened by JonathanStarup over 2 years ago - 8 comments

#4032 - Refactor LSP Structures

Issue - State: closed - Opened by mlutze over 2 years ago - 3 comments
Labels: A: lsp

#4032 - Refactor LSP Structures

Issue - State: closed - Opened by mlutze over 2 years ago - 3 comments
Labels: A: lsp

#3996 - Unhelpful error messages for mis-capitalised functions

Issue - State: open - Opened by paulbutcher over 2 years ago - 1 comment
Labels: A: errors, A: parsing, problem

#3746 - Lexical scoped variables to use ${x} in Datalog

Issue - State: open - Opened by magnus-madsen almost 3 years ago
Labels: A: datalog

#3746 - Lexical scoped variables to use ${x} in Datalog

Issue - State: open - Opened by magnus-madsen almost 3 years ago
Labels: A: datalog

#3454 - "Syntactic types" and "type expressions"

Issue - State: open - Opened by mlutze almost 3 years ago - 2 comments
Labels: A: error reporting, A: typing

#3454 - "Syntactic types" and "type expressions"

Issue - State: open - Opened by mlutze almost 3 years ago - 2 comments
Labels: A: error reporting, A: typing

#3412 - Collect Horrible Type Errors

Issue - State: open - Opened by magnus-madsen almost 3 years ago - 34 comments
Labels: A: errors, A: typing

#3412 - Collect Horrible Type Errors

Issue - State: open - Opened by magnus-madsen almost 3 years ago - 34 comments
Labels: A: errors, A: typing

#3313 - Selective Magic Sets

Issue - State: open - Opened by magnus-madsen almost 3 years ago - 3 comments
Labels: A: datalog

#3001 - Frontend support for algebraic effects

Issue - State: open - Opened by magnus-madsen about 3 years ago - 6 comments
Labels: A: algebraic effects

#3001 - Frontend support for algebraic effects

Issue - State: open - Opened by magnus-madsen about 3 years ago - 6 comments
Labels: A: algebraic effects

#2937 - Refactor stratification tests to remove type annotations

Issue - State: open - Opened by magnus-madsen about 3 years ago
Labels: A: datalog

#2937 - Refactor stratification tests to remove type annotations

Issue - State: open - Opened by magnus-madsen about 3 years ago
Labels: A: datalog

#2243 - Brainstorm: Ideas for Quickfix

Issue - State: open - Opened by magnus-madsen over 3 years ago - 20 comments
Labels: student programmer, good first issue

#2050 - No default or matching definition found for `Add.add`

Issue - State: open - Opened by mlutze over 3 years ago - 4 comments
Labels: bug, A: datalog, A: monomophization

#2050 - No default or matching definition found for `Add.add`

Issue - State: open - Opened by mlutze over 3 years ago - 4 comments
Labels: bug, A: datalog, A: monomophization

#1915 - Datalog: Unification of variables in large rules

Issue - State: open - Opened by racerand almost 4 years ago
Labels: A: datalog

#1915 - Datalog: Unification of variables in large rules

Issue - State: open - Opened by racerand almost 4 years ago
Labels: A: datalog

#1895 - Datalog: Implement Simplifier

Issue - State: closed - Opened by bdahse almost 4 years ago - 13 comments
Labels: A: datalog

#1895 - Datalog: Implement Simplifier

Issue - State: closed - Opened by bdahse almost 4 years ago - 13 comments
Labels: A: datalog

#1879 - Datalog: Add documentation for Solver/Interpreter

Issue - State: open - Opened by magnus-madsen almost 4 years ago - 2 comments
Labels: A: datalog