 Taddeus Kroes
|
cbeae1d982
Fixed some typeos in documentation, changed <allocate> to __allocate for consistency with language spec
|
vor 11 Jahren |
|
Taddeus Kroes
|
01ce4cbbfb
Documentation fix
|
vor 11 Jahren |
|
Taddeus Kroes
|
da97d83804
Documentation fix
|
vor 11 Jahren |
|
Taddeus Kroes
|
8259c48821
Updated phases documentation
|
vor 11 Jahren |
|
Taddeus Kroes
|
2c7c770755
Clarified example code in interface file
|
vor 12 Jahren |
|
Taddeus Kroes
|
f074552d42
Array constant initialisations now require a strict nesting level equal to the number of dimensions; simplified some related code
|
vor 12 Jahren |
|
Taddeus Kroes
|
b530c36dde
Generated variable names now have leading underscores instead of dollar signs
|
vor 12 Jahren |
|
Taddeus Kroes
|
6a1d84d5f9
Code cleanup
|
vor 12 Jahren |
|
Taddeus Kroes
|
c47c1c0ee2
Documentation cleanup
|
vor 12 Jahren |
|
Taddeus Kroes
|
f9487acd48
Typo
|
vor 12 Jahren |
|
Taddeus Kroes
|
1572d2d5dd
Forgot something in desigaring docs
|
vor 12 Jahren |
|
Taddeus Kroes
|
b79720f90d
Documented desugaring phase
|
vor 12 Jahren |
|
Taddeus Kroes
|
b8ec1c056c
Added interface for Main module and generalised main phase function in a type
|
vor 12 Jahren |
|
Taddeus Kroes
|
bbb89db752
Forgot to add the mli files in the last commit... and now removed (generated) types.ml from repo index
|
vor 12 Jahren |
