Taddeus Kroes
|
7867875804
Implemented new scoping rules, moved up context analysys, tweaked where extern variables are handled, fixed some bugs (see updated html docs) (needs new test cases!)
|
преди 11 години |
Taddeus Kroes
|
b65f17c932
Did some refactoring on main module and tweaked output options
|
преди 11 години |
Taddeus Kroes
|
4337398bfa
Removed some unnessecary parentheses from tuples and did some general cleanup
|
преди 11 години |
Taddeus Kroes
|
cd575763a0
Extern variables now use the .exportvar/.importvar directives + some general fixes
|
преди 11 години |
Taddeus Kroes
|
885fa4bc95
Changed the way errors are represented + context analysis now prints multiple errors before exiting
|
преди 12 години |
Taddeus Kroes
|
ef86a30481
Rewrote default traversal function such that a traversal now has a secondary result
|
преди 12 години |
Taddeus Kroes
|
b530c36dde
Generated variable names now have leading underscores instead of dollar signs
|
преди 12 години |
Taddeus Kroes
|
3082b87b35
Fixed weird context analysis on array dimension names
|
преди 12 години |
Taddeus Kroes
|
111c1d546c
Documented extern variables phase, moved the phase to before dimension reduction, fixed dimension getters/setters for extern array variables
|
преди 12 години |
Taddeus Kroes
|
d2ac2ab8ea
Removed 'open Globals' and used 'Globals.args' instead
|
преди 12 години |
Taddeus Kroes
|
3403c4a3fc
Formatted all source code to 2 spaces as tab, and some more prettifications
|
преди 12 години |
Taddeus Kroes
|
7c9b5cf1af
Added interface files for all modules, moved command-line arguments to globals.ml, made types.ml an .mli file
|
преди 12 години |
Taddeus Kroes
|
3458dfbadd
Phase filenames now match identifiers in phases list
|
преди 12 години |