From dbe8e61acc616b8f5ac07e8df89eb98a7997c29d Mon Sep 17 00:00:00 2001 From: bringert Date: Fri, 25 Nov 2005 16:36:19 +0000 Subject: Move transfer into the GF repo. --- transfer/examples/exp.tr | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 transfer/examples/exp.tr (limited to 'transfer/examples/exp.tr') diff --git a/transfer/examples/exp.tr b/transfer/examples/exp.tr new file mode 100644 index 000000000..b7202fedf --- /dev/null +++ b/transfer/examples/exp.tr @@ -0,0 +1,31 @@ +data Stm : Type where {} ; +data Exp : Type where {} ; +data Var : Type where {} ; +data Typ : Type where {} ; + +data ListStm : Type where {} ; + +data Tree : Type -> 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 composOp Tree ; + +rename : (String -> String) -> (C : Type) -> Tree C -> Tree C; +rename f C t = case t of { + V x -> V (f x) ; + _ -> composOp_Tree C (rename f) t; + } ; + -- cgit v1.2.3