Mercurial > urweb
diff src/elab_ops.sml @ 1591:20f898c29525
Tweaks to choices of source positions to use in error messages, including for subSgn
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 05 Nov 2011 13:12:07 -0400 |
parents | c7b9a33c26c8 |
children | 6c00d8af6239 |
line wrap: on
line diff
--- a/src/elab_ops.sml Sat Nov 05 12:32:20 2011 -0400 +++ b/src/elab_ops.sml Sat Nov 05 13:12:07 2011 -0400 @@ -156,7 +156,7 @@ fun hnormCon env (cAll as (c, loc)) = case c of - CUnif (nl, _, _, _, ref (SOME c)) => hnormCon env (E.mliftConInCon nl c) + CUnif (nl, _, _, _, ref (SOME c)) => (#1 (hnormCon env (E.mliftConInCon nl c)), loc) | CNamed xn => (case E.lookupCNamed env xn of