1 ####### DOCUMENTATIATOIAITAT ION ########
5 Typechecker.hs: Simple modification of the bnfc-generated Testsyntax which calls the type-checking functions.
7 Typecheck.hs: Contains the type-checking functions typeCheckExp, typeCheckVar and typeCheckStm and some utility functions, responsible for the entire type-checking process.
9 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.
16 (t is little tau, T is large tau, E is 'in', and + is that other symbol)
26 [Plus, Minus, Times, Div]
28 e:int <= e1:int & e2:int
29 where e is e1 Plus e2.
34 e:bool <= e1:int & e2:int
40 T+ i := e:t <= i:t E T & T+ e:t
41 where the assignment is identifier i = expression e.
47 where the expression is type u expression e.
67 T+ if e then s1 else s2 <= T+ e:bool & T+ s1 & T+ s2
72 T+ while e do s <= T+ e:bool & T+ s
77 T+ i:t => T', i:t <= i!ET & e:t & u:t
79 (Type u Ident i = Exp e)