Mercurial > urweb
comparison src/elaborate.sml @ 1182:0b1d666bddb4
Spiffed-up Split1; remove spurious error message triggered by 'open'ing a module containing a functor
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 09 Mar 2010 17:50:42 -0500 |
parents | 8d3aa6c7cee0 |
children | 61c3139eab12 |
comparison
equal
deleted
inserted
replaced
1181:618f9f458da9 | 1182:0b1d666bddb4 |
---|---|
2064 | SOME sgn => ((L'.StrProj (str, m), loc), sgn)) | 2064 | SOME sgn => ((L'.StrProj (str, m), loc), sgn)) |
2065 ((L'.StrVar n, loc), sgn) strs | 2065 ((L'.StrVar n, loc), sgn) strs |
2066 | 2066 |
2067 fun collect first (st, sgn) = | 2067 fun collect first (st, sgn) = |
2068 case E.projectConstraints env {sgn = sgn, str = st} of | 2068 case E.projectConstraints env {sgn = sgn, str = st} of |
2069 NONE => (if first then | 2069 NONE => [] |
2070 strError env (UnboundStr (loc, str)) | |
2071 else | |
2072 (); | |
2073 []) | |
2074 | SOME cs => | 2070 | SOME cs => |
2075 case #1 (hnormSgn env sgn) of | 2071 case #1 (hnormSgn env sgn) of |
2076 L'.SgnConst sgis => | 2072 L'.SgnConst sgis => |
2077 foldl (fn (sgi, cs) => | 2073 foldl (fn (sgi, cs) => |
2078 case #1 sgi of | 2074 case #1 sgi of |