Commit 53b9e879 authored by Pietro Abate's avatar Pietro Abate

fix problem related to fresh variables in application

parent 4c067dcc
......@@ -947,6 +947,7 @@ and type_check' loc env ed constr precise = match ed with
| Apply (e1,e2) ->
let t1 = type_check env e1 Types.Arrow.any true in
let t1 = Types.Positive.substitutefree t1 in
(* t [_delta 0 -> 1 *)
begin try ignore(Types.Tallying.tallying ~delta:env.delta [(t1,Types.Arrow.any)])
......
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