 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 years ago |
|
Taddeus Kroes
|
4337398bfa
Removed some unnessecary parentheses from tuples and did some general cleanup
|
11 years ago |
|
Taddeus Kroes
|
ad3781f9c3
Fixed some compilation warnings
|
11 years ago |
|
Taddeus Kroes
|
ec7babc046
Started implementing VM changes of extern variables
|
11 years ago |
|
Taddeus Kroes
|
0e0c62d5a7
Removed warning for floating-point division by zero
|
12 years ago |
|
Taddeus Kroes
|
a574d8ace5
IntVal now takes a 32-bit int as argument (not 31 or 63), and integer bound check is moved to lexer
|
12 years ago |
|
Taddeus Kroes
|
569075e6d9
Typechecking phase now also prints multiple errors before quitting (could use some more extensive debugging)
|
12 years ago |
|
Taddeus Kroes
|
885fa4bc95
Changed the way errors are represented + context analysis now prints multiple errors before exiting
|
12 years ago |
|
Taddeus Kroes
|
ef86a30481
Rewrote default traversal function such that a traversal now has a secondary result
|
12 years ago |
|
Taddeus Kroes
|
a1fb541ec0
Indent fix
|
12 years ago |
|
Taddeus Kroes
|
a7f64c44ce
Removed useless parentheses
|
12 years ago |
|
Taddeus Kroes
|
d46894a67c
Made array type errors more readable
|
12 years ago |
|
Taddeus Kroes
|
880b03d7a9
Moved preprocess tests to separate directory, tweaked some test configuration vars
|
12 years ago |
|
Taddeus Kroes
|
7b56ec4f65
Imported array pointers may not be used directly, added an error message for this
|
12 years ago |
|
Taddeus Kroes
|
351b1419e0
Documented Typecheck phase
|
12 years ago |
|
Taddeus Kroes
|
625095f367
Documented all global modules (phases still need to be done)
|
12 years ago |
|
Taddeus Kroes
|
d2ac2ab8ea
Removed 'open Globals' and used 'Globals.args' instead
|
12 years ago |
|
Taddeus Kroes
|
3403c4a3fc
Formatted all source code to 2 spaces as tab, and some more prettifications
|
12 years ago |
|
Taddeus Kroes
|
7c9b5cf1af
Added interface files for all modules, moved command-line arguments to globals.ml, made types.ml an .mli file
|
12 years ago |
|
Taddeus Kroes
|
f496ce57f6
Made some better error messages for array assignments
|
12 years ago |
|
Taddeus Kroes
|
4f4ff50e16
Now using Int32 for integer bounds checking
|
12 years ago |
|
Taddeus Kroes
|
1ba7a9c726
Integer bound check now uses Nativeint module so that it works on all platforms
|
12 years ago |
|
Taddeus Kroes
|
7462e88b3d
Added warning and constant propagation check for division by zero
|
12 years ago |
|
Taddeus Kroes
|
5355a47d07
Added range check vor integer constants
|
12 years ago |
|
Taddeus Kroes
|
f979c1faf4
Changed the way array types are represented, and cleaned up a lot of code in the process
|
12 years ago |
|
Taddeus Kroes
|
dd6930eb07
Code cleanup
|
12 years ago |
|
Taddeus Kroes
|
efa5140ebf
bool_op now traverses properly and typecasts are pruned when not int->float or float->int
|
12 years ago |
|
Taddeus Kroes
|
fc5a38d30a
Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option
|
12 years ago |
|
Taddeus Kroes
|
4225c53427
Finished first version of assembly phase
|
12 years ago |
|
Taddeus Kroes
|
90c7e2b83d
Worked on assembly generation, added -noopt argument, tweaked verbority level
|
12 years ago |
