diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-18 11:29:13 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-18 11:29:13 -0500 |
| commit | 4eb93836d04d18f43d8c4360f290a7977d96c468 (patch) | |
| tree | ef38476a5b0199272d5dc20a65a306b4c7b2a112 /src/elab_print.sml | |
| parent | 37cf82d0761088c469205b90e35569674707202f (diff) | |
Add a new scoping check for unification variables, to fix a type inference bug
Diffstat (limited to 'src/elab_print.sml')
| -rw-r--r-- | src/elab_print.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/elab_print.sml b/src/elab_print.sml index 2b8dc5f4..d292d7c5 100644 --- a/src/elab_print.sml +++ b/src/elab_print.sml @@ -54,9 +54,9 @@ fun p_kind' par env (k, _) = 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 @@ fun p_con' par env (c, _) = 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 |