From d5b4230d6dbee8c03eedf8d181dfa2badf1a954b Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 22 Sep 2004 20:42:21 +0000
Subject: making parsing ImperC work

---
 examples/gfcc/Imper.gf | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

(limited to 'examples/gfcc/Imper.gf')

diff --git a/examples/gfcc/Imper.gf b/examples/gfcc/Imper.gf
index 31ca82f75..28ac3d4bd 100644
--- a/examples/gfcc/Imper.gf
+++ b/examples/gfcc/Imper.gf
@@ -2,6 +2,7 @@ abstract Imper = PredefAbs ** {
 
   cat
     Program ;
+    Rec ListTyp ;
     Typ ;
     NumTyp ;
     ListTyp ;
@@ -15,12 +16,13 @@ abstract Imper = PredefAbs ** {
   fun
     Empty : Program ;
     Funct : (AS : ListTyp) -> (V : Typ) -> 
-              Body AS -> (Fun AS V -> Program) -> Program ;
+              (Fun AS V -> Rec AS) -> Program ;
+    FunctNil : (V : Typ) -> 
+                 Stm -> (Fun NilTyp V -> Program) -> Program ;
 
-    BodyNil  : Stm -> Body NilTyp ;
-    BodyOne  : (A : Typ) -> (Var A -> Stm) -> Body (ConsTyp A NilTyp) ;
-    BodyCons : (A : Typ) -> (AS : ListTyp) -> 
-                  (Var A -> Body AS) -> Body (ConsTyp A AS) ;
+    RecOne  : (A : Typ) -> (Var A -> Stm) -> Program -> Rec (ConsTyp A NilTyp) ;
+    RecCons : (A : Typ) -> (AS : ListTyp) -> 
+                  (Var A -> Rec AS) -> Program -> Rec (ConsTyp A AS) ;
 
     Decl   : (A : Typ) -> (Var A -> Stm) -> Stm ;
     Assign : (A : Typ) -> Var A -> Exp A -> Stm -> Stm ;
-- 
cgit v1.2.3