From fb1d9b7d2c3c8261fc5a2ce3698e6749458b207a Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 26 Jun 2008 21:05:01 +0000
Subject: removed transfer from gf3

---
 transfer/examples/disjpatt.tra | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100644 transfer/examples/disjpatt.tra

(limited to 'transfer/examples/disjpatt.tra')

diff --git a/transfer/examples/disjpatt.tra b/transfer/examples/disjpatt.tra
deleted file mode 100644
index 740e08a7b..000000000
--- a/transfer/examples/disjpatt.tra
+++ /dev/null
@@ -1,24 +0,0 @@
-data Cat : Type where
-    VarOrWild : Cat
-    Exp : Cat
-    Ident : Cat
-
-data Tree : Cat -> Type where
-    EAbs : Tree VarOrWild -> Tree Exp -> Tree Exp
-    EPi : Tree VarOrWild -> Tree Exp -> Tree Exp -> Tree Exp
-    EVar : Tree Ident -> Tree Exp
-    EType : Tree Exp
-    EStr : String -> Tree Exp
-    EInt : Integer -> Tree Exp
-    VVar : Tree Ident -> Tree VarOrWild
-    VWild : Tree VarOrWild
-    Ident : String -> Tree Ident
-
-
-f e = case e of
-       EAbs (VWild || VVar _) e || EPi (VWild || VVar _) _ e -> doSomething e
-       Ident i -> Ident i
-       _ -> catchAll
-
-
-g (Ident x || EAbs (VWild || VVar _) t e) = x e
\ No newline at end of file
-- 
cgit v1.2.3