Added semantic_check.ml, working copy with minimal function check and expr check
Merge branch 'parser_johan_syntax' into semantic_check
Added more expression checking
Merged sast from parser_johan_syntax
Updated the semantic check with partial binary operation semantic checking
worked on a few lines
More on expressions
added some stuff to the semantic check
Added checking for node aand rel literals as well as a way to store types of rels and nodes
Statements
Statements
Merge branch 'parser_johan_syntax' of https://github.com/jhn/PLT into parser_johan_syntax
complex literals semantically checked
var decls. waiting for finished ast/sast
more on var decls. waiting for completed ast
Merge branch 'semantic_check' of https://github.com/jhn/PLT into semantic_check
Code fixes, fewer compilation errors. P.S. Ocaml is annoying
Merge branch 'semantic_check' of https://github.com/jhn/n2n into semantic_check
Merge branch 'parser_johan_syntax' of https://github.com/jhn/PLT into parser_johan_syntax
sast and ast in sync aside from var decl