Mercurial > urweb
diff src/explify.sml @ 2190:22117edf8fd3
After a tricky debugging session, limit visibility of type-class instances from anonymous modules
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 01 Nov 2015 16:33:14 -0500 |
| parents | 403f0cc65b9c |
| children |
line wrap: on
line diff
--- a/src/explify.sml Sun Nov 01 14:17:09 2015 -0500 +++ b/src/explify.sml Sun Nov 01 16:33:14 2015 -0500 @@ -150,7 +150,7 @@ SOME (L'.SgiDatatypeImp (x, n, m1, ms, s, xs, map (fn (x, n, co) => (x, n, Option.map explifyCon co)) xncs), loc) | L.SgiVal (x, n, c) => SOME (L'.SgiVal (x, n, explifyCon c), loc) - | L.SgiStr (x, n, sgn) => SOME (L'.SgiStr (x, n, explifySgn sgn), loc) + | L.SgiStr (_, x, n, sgn) => SOME (L'.SgiStr (x, n, explifySgn sgn), loc) | L.SgiSgn (x, n, sgn) => SOME (L'.SgiSgn (x, n, explifySgn sgn), loc) | L.SgiConstraint _ => NONE | L.SgiClassAbs (x, n, k) => SOME (L'.SgiConAbs (x, n, (L'.KArrow (explifyKind k, (L'.KType, loc)), loc)), loc)