gfngfn / Sesterl

An ML-like statically-typed Erlang

gfngfn/Sesterl Issues

Support `core.v0.15.1`
Updated a year ago
Version selector in documentation
Closed a year ago1
Arithmetic operators associativity is wrong
Closed 2 years ago3
Parse negative numbers
Updated 2 years ago
Show code snippet on compilation error
Updated 2 years ago1
Add unary boolean negation operator
Updated 2 years ago
Operator precedence
Closed 2 years ago2
Support Erlang Guard expressions
Updated 2 years ago
Warn when non-recursive function is declared with `val rec`
Updated 2 years ago1
Polymorphic equality and nonequality operators
Updated 2 years ago
Polymorphic variants
Updated 2 years ago1
Mutually recursive modules
Updated 3 years ago2
Allow to import the main module in tests
Closed 3 years ago9
andalso, orelse
Updated 3 years ago2
An unsoundness bug found
Closed 3 years ago
Set configuration file name sesterl.yaml instead of package.yaml
Closed 3 years ago1
Unbound type variable error for example from readme
Closed 3 years ago2
Are action types currently used for type checking?
Closed 3 years ago4
Cannot compile a project with sesterl_stdlib but without sesterl_testing
Closed 3 years ago2
contributing: `make test` doesn't pass when alcotest is not installed
Closed 3 years ago1
contributing: `make` doesn't work if you didn't run `opam` first
Closed 3 years ago
Develop types corresponding to mfargs()
Closed 4 years ago1
Support dependency on external packages
Closed 4 years ago1
Introduce the notion of package
Closed 4 years ago1
Introduce format strings (for io:format etc.) and their types
Closed 4 years ago1
refactor by merging ListType into DataType
Closed 4 years ago1
Support generalized kind annotations
Closed 4 years ago1
Support characters as integers (i.e. Unicode code points) and strings as character lists
Closed 4 years ago1
Support default arguments for optional labeled parameters
Closed 4 years ago1