minor stuff

diff --git a/Makefile b/Makefile
index 5a3fb4ec64d64efa86cad1a20a15e5ea6e024677..cd6c0826fe51507d9d2868ab83f838d262a1d9d1 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,6 @@
-all: Docsyntax.dvi Testsyntax Typechecker
+all: Typechecker
+
+doc: Docsyntax.dvi
 
 Docsyntax.dvi: Docsyntax.tex
        latex Docsyntax.tex; dvips Docsyntax.dvi -o Docsyntax.ps

diff --git a/documentation b/documentation
index 70bd0c818b7f8c298ca3658a67729c6413db122b..269e93139c744f83508a076206088f76e7634b81 100644 (file)
--- a/documentation
+++ b/documentation
@@ -1,23 +1,12 @@
 ####### DOCUMENTATIATOIAITAT ION ########
 
 
-a simple c-like language with support for if/else-statements, while-loops and the standard arithmetic (+, -, /, *) and comparison expressions (<, >, <=, >=, ==, !=). also, post increase/decrease expressions (++, --) are supported. Assignments are allowed in expressions, but they are only allowed on the right side of arithmetic/comparision operators if they are put inside parenthesis
-
-
-data types:
-integers and booleans.
-
-comments:
-// and /* */ comments are allowed.
-
-(For compilation to work the Bool type in Abssyntax has to be removed so the internal haskell type is used)
-
-shift/reduce conflicts:
-
-if with else: 1 conflict
-An if statement before the else could be reduced to an if statement lacking the else, but the correct thing is to shift it onto the stack.
+Files:
+Typechecker.hs: Simple modification of the bnfc-generated Testsyntax which calls the type-checking functions.
 
+Typecheck.hs: Contains the type-checking functions typeCheckExp, typeCheckVar and typeCheckStm and some utility functions, responsible for the entire type-checking process.
 
+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