fixed 'make bench'

new directory bench/typing/x-bad containing bugs not yet fixed
parent 26a90392
......@@ -190,7 +190,7 @@ goods bench/typing/bad --parse-only
goods bench/programs/bad-typing --parse-only
bads bench/typing/bad --type-only
bads bench/programs/bad-typing --type-only
bads examples/bad-bts
goods bench/typing/x-bad --type-only
echo ""
echo "=== Checking good files ==="
......
module T
goal g : forall x:int. x = (x at L)
end
module T
use import ref.Ref
let f () =
label Foo in
let x = ref 0 in
assert { 42 = !x at Foo } (* variable x does not exist at Foo *)
end
module T
let f () = assert { 42 = 42 at Foo }
end
theory T
goal g : forall x:int. x = (x at L)
end
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment