@@ -9,78+9,102 @@ Typecheck.hs: Contains the type-checking functions typeCheckExp, typeCheckVar an
Abssyntax.hs, Parsyntax.y, Lexsyntax.x,ErrM.hs,Printsyntax.hs,Skelsyntax.hs: The files generated by bnfc, only modification is the removal of the Bool type in Abssyntx.hs so haskell's internal type can be used.
Abssyntax.hs, Parsyntax.y, Lexsyntax.x,ErrM.hs,Printsyntax.hs,Skelsyntax.hs: The files generated by bnfc, only modification is the removal of the Bool type in Abssyntx.hs so haskell's internal type can be used.
-typing rules
+semantic rules
++++++++++++
++++++++++++
-(t is little tau, T is large tau, E is 'in', and + is that other symbol)
+(v is used for values, e for expressions, s for statements, c is the context)