-
Notifications
You must be signed in to change notification settings - Fork 28
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Explicit instantiation of effect in
handlerfn0. parsingThings related to lexer and parserThings related to lexer and parser1. type inferenceType inference and the Unif languageType inference and the Unif languageStatus: Open.Linear and exception effect modes
2. effect inferenceEffect inference and the ConE languageEffect inference and the ConE languageStatus: Open.Affinity-specific simplification rules
2. effect inferenceEffect inference and the ConE languageEffect inference and the ConE languageStatus: Open.Support affinity and linearity in Core
3. coreThe Core languageThe Core languageStatus: Open.Check that the resumption is used at most once for
aff effect1. type inferenceType inference and the Unif languageType inference and the Unif languageStatus: Open.Use affine effects in the standard library
good first issueGood for newcomersGood for newcomersstdlibWork on standard libraryWork on standard libraryStatus: Open.- Status: Open.
Lexer doesn't recognize Int64 minimal value
0. parsingThings related to lexer and parserThings related to lexer and parserStatus: Open.Basic support for file IO operations
stdlibWork on standard libraryWork on standard libraryStatus: Open.Pretty-print infix constructors in pattern counterexamples using infix notation
error messagesImproving error messages provided to the programmerImproving error messages provided to the programmergood first issueGood for newcomersGood for newcomersStatus: Open.#325 In fram-lang/dbl;- Status: Open.
Public types in pattern-matching
0. parsingThings related to lexer and parserThings related to lexer and parser1. type inferenceType inference and the Unif languageType inference and the Unif languageStatus: Open.