From ef4659dbfa5051372cf067f8c0ed2bbe77146650 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Fredrik=20M=C3=B6llerstrand?= <mollerst@itstud.chalmers.se>
Date: Tue, 28 Feb 2006 21:01:44 +0000
Subject: [PATCH] typing rules in documentation

---
 Typecheck.hs  |  1 +
 documentation | 79 +++++++++++++++++++++++++++++++++++++++++++++++++++
 syntax.cf     |  2 +-
 3 files changed, 81 insertions(+), 1 deletion(-)

diff --git a/Typecheck.hs b/Typecheck.hs
index 770c079..6f65d6e 100644
--- a/Typecheck.hs
+++ b/Typecheck.hs
@@ -1,5 +1,6 @@
 module Typecheck (typeCheckExp, typeCheckStm, typeCheckVar) where 
 
+
 import Abssyntax
 import Control.Monad.State
 import Data.Map as Map
diff --git a/documentation b/documentation
index 28be895..70bd0c8 100644
--- a/documentation
+++ b/documentation
@@ -16,3 +16,82 @@ 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.
+
+
+
+
+typing rules
+++++++++++++
+
+
+(t is little tau, T is large tau, E is 'in', and + is that other symbol)
+
+
+
+[Eq, Neq]
+
+e:bool  <=  e1:t  &  e2:t
+where e is e1 Eq e2.
+
+
+[Plus, Minus, Times, Div]
+
+e:int  <=  e1:int  &  e2:int
+where e is e1 Plus e2.
+
+
+[Lt, ELt, Gt, EGt]
+
+e:bool  <=  e1:int  &  e2:int
+where e is e1 Lt e2.
+
+
+[Assignment]
+
+T+ i := e:t  <=  i:t E T  &  T+ e:t
+where the assignment is identifier i = expression e.
+
+
+[ExpT]
+
+u,e:t  <=  e:t  &  u:t
+where the expression is type u expression e.
+
+
+[ENeg]
+
+e:int  <=  e:int
+
+
+[ENot]
+
+e:bool  <=  e:bool
+
+
+[SExp, SBlock]
+
+S:NoType  <=  e:t
+
+
+[SIf]
+
+T+ if e then s1 else s2  <=  T+ e:bool  &  T+ s1  &  T+ s2
+
+
+[SWhile]
+
+T+ while e do s  <=  T+ e:bool  &  T+ s
+
+
+[SDecl]
+
+T+ i:t => T', i:t  <=  i!ET  &  e:t  &  u:t
+
+(Type u Ident i = Exp e)
+
+
+
+
+
+
+
diff --git a/syntax.cf b/syntax.cf
index de173e8..d09a25c 100644
--- a/syntax.cf
+++ b/syntax.cf
@@ -63,7 +63,7 @@ _. Op ::= Op0;
 
 
 
-TInt.     Type  ::= "int" ;
+TInt.   Type  ::= "int" ;
 TBool.  Type  ::= "bool" ;
 
 -- pragmas
-- 
2.39.2