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