From fb1d9b7d2c3c8261fc5a2ce3698e6749458b207a Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 26 Jun 2008 21:05:01 +0000 Subject: removed transfer from gf3 --- transfer/examples/exp.tra | 33 --------------------------------- 1 file changed, 33 deletions(-) delete mode 100644 transfer/examples/exp.tra (limited to 'transfer/examples/exp.tra') diff --git a/transfer/examples/exp.tra b/transfer/examples/exp.tra deleted file mode 100644 index e54b82055..000000000 --- a/transfer/examples/exp.tra +++ /dev/null @@ -1,33 +0,0 @@ -import prelude - -data Cat : Type where - Stm : Cat - Exp : Cat - Var : Cat - Typ : Cat - ListStm : Cat - -data Tree : Cat -> Type where - SDecl : Tree Typ -> Tree Var -> Tree Stm - SAss : Tree Var -> Tree Exp -> Tree Stm - SBlock : Tree ListStm -> Tree Stm - EAdd : Tree Exp -> Tree Exp -> Tree Exp - EStm : Tree Stm -> Tree Exp - EVar : Tree Var -> Tree Exp - EInt : Integer -> Tree Exp - V : String -> Tree Var - TInt : Tree Typ - TFloat : Tree Typ - - NilStm : Tree ListStm - ConsStm : Tree Stm -> Tree ListStm -> Tree ListStm - -derive Compos Tree - -rename : (String -> String) -> (C : Type) -> Tree C -> Tree C -rename f C t = case t of - V x -> V (f x) - _ -> composOp ? ? compos_Tree C (rename f) t - - -main = rename (const ? ? "apa") Stm (SAss (V "y") (EAdd (EVar (V "x")) (EInt 2))) \ No newline at end of file -- cgit v1.2.3