From d553df8dfdffca78342d6fae142ceded9cd64415 Mon Sep 17 00:00:00 2001 From: Michael Andreen Date: Fri, 10 Mar 2006 10:30:44 +0000 Subject: [PATCH] replace E with in --- documentation | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/documentation b/documentation index 2d64044..bbb604f 100644 --- a/documentation +++ b/documentation @@ -13,7 +13,7 @@ typing rules ++++++++++++ -(t is little tau, T is large tau, E is 'in', and + is that other symbol) +(t is used for types, T is the context, and + is used for in) [Eq, NEq] @@ -39,7 +39,7 @@ The operators Lt/ELt/Gt/EGt return bool if both operands are ints [Assignment] -T+ i := e:t <= i:t E T & T+ e:t +T+ i := e:t <= i:t in T & T+ e:t The assignemnt of e to i returns type t if both i and e have type t. @@ -58,7 +58,7 @@ ENot e returns bool if e is of type bool [EVar] -T+ i:t <= i:t E T +T+ i:t <= i:t in T i has type t if i is defined in the context with type t. @@ -88,7 +88,7 @@ EReadB returns a bool [EPost] -T+ EPost i:int <= i:int E T +T+ EPost i:int <= i:int in T EPost i is of type int if i is defined in T with type int. @@ -120,13 +120,13 @@ If e is of type bool and s typechecks in context T then the same context is retu [SDecl] -T+ t i = e => T,i:t <= i!ET & e:t +T+ t i = e => T,i:t <= i not in T & e:t if i and e are of the same type and i is not declared in the current scope then i is added with type t to the context. [SDeclD] -T+ t i => T,i:t <= i!ET +T+ t i => T,i:t <= i not in T if i is not declared in the current scope, then i is added to the context with type t -- 2.39.2