From 9142fcff76eabaabe984760c211be1a0f31bcb55 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sat, 13 Jun 2009 13:54:06 +0000
Subject: split the testsuite to different directories for compiler, runtime
 and libraries

---
 testsuite/paraphrase/lambda.gf | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 testsuite/paraphrase/lambda.gf

(limited to 'testsuite/paraphrase/lambda.gf')

diff --git a/testsuite/paraphrase/lambda.gf b/testsuite/paraphrase/lambda.gf
deleted file mode 100644
index 3476866c9..000000000
--- a/testsuite/paraphrase/lambda.gf
+++ /dev/null
@@ -1,17 +0,0 @@
-abstract lambda = {
-
-fun f1 : Int -> Int ;
-def f1 = (\x -> x) ;
-
-fun f2 : Int ;
-def f2 = f1 1 ;
-
-cat D ;
-data D1 : D ;
-     D2 : D ;
-
-fun d : D -> Int -> Int ;
-def d D1 = \x -> x ;
-    d D2 = \x -> 2 ;
-
-}
\ No newline at end of file
-- 
cgit v1.2.3