Mercurial > urweb

comparison src/elaborate.sml @ 1182:0b1d666bddb4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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