happy -gca -idebug Parsyntax.y
alex -g Lexsyntax.x
latex Docsyntax.tex; dvips Docsyntax.dvi -o Docsyntax.ps
- ghc -fglasgow-exts --make Testsyntax.hs -o Testsyntax
+ ghc --make Testsyntax.hs -o Testsyntax
+ ghc -fglasgow-exts --make Typechecker.hs -o Typechecker
clean:
-rm -f *.log *.aux *.hi *.o *.dvi
-rm -f Docsyntax.ps