diff options
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 |