diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-28 22:31:09 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-28 22:31:09 +0000 |
| commit | cb6f3088b578331cac5f42f9bc0489c5bed4e568 (patch) | |
| tree | de44b3bde27953089d9ceb2ae4339508677d866f /transfer/examples | |
| parent | 5d7bcac1e5c59c83c81ee51be416fbd907989507 (diff) | |
Fixed transfer composOp generation to support tree types that don't take a single type argument.
Diffstat (limited to 'transfer/examples')
| -rw-r--r-- | transfer/examples/exp.tr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/transfer/examples/exp.tr b/transfer/examples/exp.tr index 980c5d724..d6c077c03 100644 --- a/transfer/examples/exp.tr +++ b/transfer/examples/exp.tr @@ -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 |