 Taddeus Kroes
|
351b1419e0
Documented Typecheck phase
|
il y a 12 ans |
|
Taddeus Kroes
|
625095f367
Documented all global modules (phases still need to be done)
|
il y a 12 ans |
|
Taddeus Kroes
|
d2ac2ab8ea
Removed 'open Globals' and used 'Globals.args' instead
|
il y a 12 ans |
|
Taddeus Kroes
|
3403c4a3fc
Formatted all source code to 2 spaces as tab, and some more prettifications
|
il y a 12 ans |
|
Taddeus Kroes
|
7c9b5cf1af
Added interface files for all modules, moved command-line arguments to globals.ml, made types.ml an .mli file
|
il y a 12 ans |
|
Taddeus Kroes
|
f496ce57f6
Made some better error messages for array assignments
|
il y a 12 ans |
|
Taddeus Kroes
|
4f4ff50e16
Now using Int32 for integer bounds checking
|
il y a 12 ans |
|
Taddeus Kroes
|
1ba7a9c726
Integer bound check now uses Nativeint module so that it works on all platforms
|
il y a 12 ans |
|
Taddeus Kroes
|
7462e88b3d
Added warning and constant propagation check for division by zero
|
il y a 12 ans |
|
Taddeus Kroes
|
5355a47d07
Added range check vor integer constants
|
il y a 12 ans |
|
Taddeus Kroes
|
f979c1faf4
Changed the way array types are represented, and cleaned up a lot of code in the process
|
il y a 12 ans |
|
Taddeus Kroes
|
dd6930eb07
Code cleanup
|
il y a 12 ans |
|
Taddeus Kroes
|
efa5140ebf
bool_op now traverses properly and typecasts are pruned when not int->float or float->int
|
il y a 12 ans |
|
Taddeus Kroes
|
fc5a38d30a
Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option
|
il y a 12 ans |
|
Taddeus Kroes
|
4225c53427
Finished first version of assembly phase
|
il y a 12 ans |
|
Taddeus Kroes
|
90c7e2b83d
Worked on assembly generation, added -noopt argument, tweaked verbority level
|
il y a 12 ans |
|
Taddeus Kroes
|
21fc065c8f
Changed constant node types, added VarDecs|LocalFuns wrappers, implemented first steps of assembler
|
il y a 12 ans |
|
Taddeus Kroes
|
45ccce6001
Renamed ast.ml to types.ml
|
il y a 12 ans |
|
Taddeus Kroes
|
838389b893
Changed the way nodes are annotated to something more moldable, in the process changing/bugfixing pretty much everything
|
il y a 12 ans |
|
Taddeus Kroes
|
153ac60c5d
Fixed buf that caused fundec calls and conditional expressions not to be typechecked correctly
|
il y a 12 ans |
|
Taddeus Kroes
|
bd304ed3a4
Implemented external variables using getters and setters, some general changes & fixes in other phases for compliance
|
il y a 12 ans |
|
Taddeus Kroes
|
e326a5b132
Disabled type pruning because of usefulness in other phases
|
il y a 12 ans |
|
Taddeus Kroes
|
180700fd3e
Moved command-line arguments to global record
|
il y a 12 ans |
|
Taddeus Kroes
|
33622fca25
Typecheck phase now prunes Type nodes when done
|
il y a 12 ans |
|
Taddeus Kroes
|
1cdc10625d
Implemented array dimension reduction, generalized Array type, more bugfixes in other phases
|
il y a 12 ans |
|
Taddeus Kroes
|
796d94bbb7
Error message cleanup
|
il y a 12 ans |
|
Taddeus Kroes
|
f282d9b512
Implemented scalar array initialisation
|
il y a 12 ans |
|
Taddeus Kroes
|
74d0ad3cc1
Finished type checking & content analysis
|
il y a 12 ans |
|
Taddeus Kroes
|
12da98abeb
Implemented array dims expansion correctly (probably), more bugfixes
|
il y a 12 ans |
|
Taddeus Kroes
|
96ecd75efb
Implemented most of typechecking, some bugfixes in other phases
|
il y a 12 ans |
