more fixes in the testsuite

2009-09-16 12:49:04 +00:00
parent 886d663a96
commit 34c8d78fed
4 changed files with 4 additions and 4 deletions
--- a/testsuite/runtime/eval/eval.gfs
+++ b/testsuite/runtime/eval/eval.gfs
@@ -1,4 +1,4 @@
-i testsuite/runtime/eval/Test.gf
+i -src testsuite/runtime/eval/Test.gf

 pt -compute \x -> x 1 : (Int->Int)->Int
 pt -compute (? : Int -> Int) 1
--- a/testsuite/runtime/linearize/linearize.gfs
+++ b/testsuite/runtime/linearize/linearize.gfs
@@ -1,3 +1,3 @@
-i testsuite/runtime/linearize/TestCnc.gf
+i -src testsuite/runtime/linearize/TestCnc.gf

 l Exist (\x -> Even x)
--- a/testsuite/runtime/paraphrase/lambda.gfs
+++ b/testsuite/runtime/paraphrase/lambda.gfs
@@ -1,4 +1,4 @@
-i testsuite/runtime/paraphrase/lambda.gf
+i -src testsuite/runtime/paraphrase/lambda.gf

 pt -compute f1
 pt -compute f2
--- a/testsuite/runtime/typecheck/typecheck.gfs
+++ b/testsuite/runtime/typecheck/typecheck.gfs
@@ -1,4 +1,4 @@
-i testsuite/runtime/typecheck/Test.gf
+i -src testsuite/runtime/typecheck/Test.gf

 ai succ "0"
 ai succ : Int 0