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