diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-16 12:49:04 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-16 12:49:04 +0000 |
| commit | 6c7330131dab6ac9ba13bbb296c51c6427e06b2b (patch) | |
| tree | 322b387adcf400ea30ef2ae738706b007e1eb924 /testsuite/runtime | |
| parent | 9ca8db1cdb30a8249aebecf735031ec203e3cde0 (diff) | |
more fixes in the testsuite
Diffstat (limited to 'testsuite/runtime')
| -rw-r--r-- | testsuite/runtime/eval/eval.gfs | 2 | ||||
| -rw-r--r-- | testsuite/runtime/linearize/linearize.gfs | 2 | ||||
| -rw-r--r-- | testsuite/runtime/paraphrase/lambda.gfs | 2 | ||||
| -rw-r--r-- | testsuite/runtime/typecheck/typecheck.gfs | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/runtime/eval/eval.gfs b/testsuite/runtime/eval/eval.gfs index 557bb9f90..c232161f4 100644 --- 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 diff --git a/testsuite/runtime/linearize/linearize.gfs b/testsuite/runtime/linearize/linearize.gfs index 72af2c126..6ffeb52b6 100644 --- 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) diff --git a/testsuite/runtime/paraphrase/lambda.gfs b/testsuite/runtime/paraphrase/lambda.gfs index 5313751b5..5db3cc030 100644 --- 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
diff --git a/testsuite/runtime/typecheck/typecheck.gfs b/testsuite/runtime/typecheck/typecheck.gfs index b1231a75d..ef2f31698 100644 --- 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
|