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

Fixed transfer composOp generation to support tree types that don't take a single type argument.

Browse Source
This commit is contained in:
bringert
2005-11-28 22:31:09 +00:00
parent 0ee1c632f9
commit 998ead90a6
2 changed files with 32 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
transfer/examples/exp.tr
View File

@@ -5,7 +5,7 @@ data Cat : Type where
Typ : Cat
ListStm : Cat
data Tree : Type -> Type where
data Tree : Cat -> Type where
SDecl : Tree Typ -> Tree Var -> Tree Stm
SAss : Tree Var -> Tree Exp -> Tree Stm
SBlock : Tree ListStm -> Tree Stm