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 | 5d51d86b0973fe6996b4b64ec78d9fc810177e02 (patch) | |
tree | 2e1c023171139b80bf24b4ec2b5a85115973e945 /src/elab_print.sml | |
parent | d8bc26c9647d2b45009f6538bc2a69508c983449 (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, |