msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

making parsing ImperC work

Browse Source
This commit is contained in:
aarne
2004-09-22 20:42:21 +00:00
parent a0116fd288
commit d5b4230d6d
6 changed files with 51 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
examples/gfcc/Imper.gf
View File

@@ -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 ;