diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-10-10 14:41:03 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-10-10 14:41:03 -0400 |
| commit | 948aa854af8ca5560a1eea5221c4a1f3a6901970 (patch) | |
| tree | 2e1c023171139b80bf24b4ec2b5a85115973e945 /src/elab_print.sml | |
| parent | bfeac162a328dba937a28e747e4fc4006fac500c (diff) | |
Hopeful fix for the Great Unification Bug
Diffstat (limited to 'src/elab_print.sml')
| -rw-r--r-- | src/elab_print.sml | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/elab_print.sml b/src/elab_print.sml index 279c7231..2b8dc5f4 100644 --- a/src/elab_print.sml +++ b/src/elab_print.sml @@ -202,10 +202,13 @@ fun p_con' par env (c, _) = string (Int.toString n)] | CError => string "<ERROR>" - | CUnif (_, _, _, ref (SOME c)) => p_con' par env c - | CUnif (_, k, s, _) => box [string ("<UNIF:" ^ s ^ "::"), - p_kind env k, - string ">"] + | CUnif (nl, _, _, _, ref (SOME c)) => p_con' par env (E.mliftConInCon nl c) + | CUnif (nl, _, k, s, _) => box [string ("<UNIF:" ^ s ^ "::"), + p_kind env k, + case nl of + 0 => box [] + | _ => string ("+" ^ Int.toString nl), + string ">"] | CKAbs (x, c) => box [string x, space, |