-all: Typechecker Interpreter Compiler
+all: CompInt
doc: Docsyntax.dvi
Compiler: Compiler.hs Compile.hs Typecheck.hs Parsyntax.hs Lexsyntax.hs Abssyntax.hs
ghc -fglasgow-exts --make Compiler.hs -o Compiler
+CompInt: CompInt.hs Compile.hs Interpret.hs Typecheck.hs Parsyntax.hs Lexsyntax.hs Abssyntax.hs
+ ghc -fglasgow-exts --make CompInt.hs -o CompInt
+
Parsyntax.hs: Parsyntax.y
happy -gca -idebug Parsyntax.y