Giters
KeenS
/
webml
A Standard ML Compiler for the Web
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
384
Watchers:
14
Issues:
64
Forks:
13
KeenS/webml Issues
tail call support
Updated
a year ago
Comments count
2
Still planning active development?
Updated
2 years ago
Comments count
2
support while .. do ..
Closed
2 years ago
Acculate closure conversion
Updated
2 years ago
Comments count
2
support right assosiative operators
Closed
2 years ago
implement `type` declaration
Updated
2 years ago
SML test
Updated
2 years ago
support local .. in .. end
Closed
2 years ago
support toplevel expression
Closed
2 years ago
Comments count
1
separate parser state for each file
Updated
2 years ago
support ;
Closed
3 years ago
support andalso and orelse
Closed
3 years ago
support exceptions
Updated
3 years ago
Comments count
2
more annotations (e.g. position)
Closed
3 years ago
Comments count
1
simplify `let` in HIR
Closed
3 years ago
Comments count
1
support string
Closed
3 years ago
Comments count
2
possible wrong closure compilation
Closed
3 years ago
Comments count
1
Compilation is too slow
Closed
4 years ago
Comments count
3
Add LICENS
Closed
4 years ago
REPL
Updated
4 years ago
support comments
Closed
4 years ago
local runtime
Closed
4 years ago
Comments count
2
easy reductions
Closed
4 years ago
Test the output wasm
Closed
4 years ago
support char
Closed
5 years ago
is_irrefutable is buggy
Updated
5 years ago
type that starts with int is not parsed correctly
Closed
5 years ago
Support Recursive Types
Closed
5 years ago
Comments count
1
external modules
Closed
5 years ago
Comments count
1
code generation is broken
Closed
5 years ago
compiler context
Closed
5 years ago
Comments count
1
implement real literal correctly
Updated
5 years ago
support user defined infix operators
Closed
5 years ago
Comments count
1
ml! macro
Updated
5 years ago
move `ty` to upper wrapper type
Closed
5 years ago
Comments count
1
separate primitive and prelude
Closed
5 years ago
Comments count
1
reimplement overload correctly
Closed
5 years ago
compile fail tests
Closed
5 years ago
give appropriate names to examples
Closed
5 years ago
support nested pattern in `val`
Closed
5 years ago
Comments count
1
support forward definitions
Closed
5 years ago
Comments count
1
Implement Pattern Match
Closed
5 years ago
support polymorphic types
Updated
5 years ago
Implement ADT
Closed
5 years ago
Comments count
1
perform alpha conversion before type checking
Closed
5 years ago
Comments count
1
Better error handling
Updated
6 years ago
Document code
Updated
6 years ago
Support non-Web environment
Updated
6 years ago
Split intermediate representations into for each normal form
Updated
6 years ago
Comments count
1
On heap stack
Updated
6 years ago
Previous
Next