Commit 421fcbfc authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Pass the correct scope when typing ref (t) e so that the monomorphic variables

in t are correctly recognized.
parent 75f58353
Pipeline #188 passed with stages
in 4 minutes and 22 seconds
......@@ -938,7 +938,7 @@ let rec expr env loc = function
expr env loc e
| KeepNsIn (k, e) -> expr (type_keep_ns env k) loc e
| Ref (e, t) ->
let fv, e = expr env loc e and t = typ env t in
let fv, e = expr env loc e and t = var_typ env.poly_vars env t in
exp loc fv (Typed.Ref (e, t))
and if_then_else loc cond yes no =
......
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