Commit 95a432f0 authored by Pietro Abate's avatar Pietro Abate
Browse files

Fix bug "Tallying assert reached in solve" #35

parent d0c77054
Subproject commit f12f696955d17ef8a9074f1dc7fe7be24d6c95e5
Subproject commit ecc80c0d3850bc144760af4c63b7eab438615bdc
......@@ -1011,6 +1011,7 @@ and type_check' loc env ed constr precise = match ed with
let dom = Types.Arrow.domain(t1arrow) in
let t2 = type_check env e2 Types.any true in
let t2 = Types.Positive.substitutefree t2 in
let (sl,res) =
if not (Types.no_var dom) ||
not (Types.no_var t2) then
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