Mercurial > urweb
diff src/elab_print.sml @ 1639:6c00d8af6239
Add a new scoping check for unification variables, to fix a type inference bug
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 18 Dec 2011 11:29:13 -0500 |
| parents | c7b9a33c26c8 |
| children | 05ae68e019b6 |
line wrap: on
line diff
--- a/src/elab_print.sml Sat Dec 17 20:42:39 2011 -0500 +++ b/src/elab_print.sml Sun Dec 18 11:29:13 2011 -0500 @@ -54,9 +54,9 @@ string ")"] | KError => string "<ERROR>" - | KUnif (_, _, ref (SOME k)) => p_kind' par env k + | KUnif (_, _, ref (KKnown k)) => p_kind' par env k | KUnif (_, s, _) => string ("<UNIF:" ^ s ^ ">") - | KTupleUnif (_, _, ref (SOME k)) => p_kind' par env k + | KTupleUnif (_, _, ref (KKnown k)) => p_kind' par env k | KTupleUnif (_, nks, _) => box [string "(", p_list_sep (box [space, string "*", space]) (fn (n, k) => box [string (Int.toString n ^ ":"), @@ -202,7 +202,7 @@ string (Int.toString n)] | CError => string "<ERROR>" - | CUnif (nl, _, _, _, ref (SOME c)) => p_con' par env (E.mliftConInCon nl c) + | CUnif (nl, _, _, _, ref (Known c)) => p_con' par env (E.mliftConInCon nl c) | CUnif (nl, _, k, s, _) => box [string ("<UNIF:" ^ s ^ "::"), p_kind env k, case nl of