From fd2a569443cdb0813529071e77b999ea53397e43 Mon Sep 17 00:00:00 2001 From: Michael Andreen Date: Wed, 1 Mar 2006 07:55:32 +0000 Subject: [PATCH] minor stuff --- Makefile | 4 +++- documentation | 19 ++++--------------- 2 files changed, 7 insertions(+), 16 deletions(-) diff --git a/Makefile b/Makefile index 5a3fb4e..cd6c082 100644 --- 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 70bd0c8..269e931 100644 --- 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 -- 2.39.2