diff options
| -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
|