Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
1590:60d438cdb3a5 | 1591:20f898c29525 |
---|---|
154 distribute := 0; | 154 distribute := 0; |
155 fuse := 0) | 155 fuse := 0) |
156 | 156 |
157 fun hnormCon env (cAll as (c, loc)) = | 157 fun hnormCon env (cAll as (c, loc)) = |
158 case c of | 158 case c of |
159 CUnif (nl, _, _, _, ref (SOME c)) => hnormCon env (E.mliftConInCon nl c) | 159 CUnif (nl, _, _, _, ref (SOME c)) => (#1 (hnormCon env (E.mliftConInCon nl c)), loc) |
160 | 160 |
161 | CNamed xn => | 161 | CNamed xn => |
162 (case E.lookupCNamed env xn of | 162 (case E.lookupCNamed env xn of |
163 (_, _, SOME c') => hnormCon env c' | 163 (_, _, SOME c') => hnormCon env c' |
164 | _ => cAll) | 164 | _ => cAll) |