Commit a846273d authored by Guillaume Melquiond's avatar Guillaume Melquiond

Add a x-good section to the bench (files that incorrectly fails).

parent 45740870
......@@ -210,6 +210,8 @@ echo ""
echo "=== Checking good files ==="
goods bench/typing/good
goods bench/typing/x-good --parse-only
bads bench/typing/x-good --type-only
goods bench/programs/good
goods bench/ce
goods examples/bts
......
type t
type u
function f t : u -> u
meta coercion function f
goal G : forall x:t,y:u. x y = y
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