Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
123456File "tests/typing/errors/poly/test-par.psmt2", line 11, character 38-67:11 | (assert (par (a) (forall ((x a)) (not (= (cons x nil) (cons 1 nil)))))) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^Error The term: `cons int 1 (nil int)` has type `list(int)` but was expected to be of type `list(a)`