Mercurial > urweb
diff src/compiler.sml @ 1264:79b2bcac6200
Fix bug in module path generation with module roots; push wildification through substructures
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 27 May 2010 10:56:52 -0400 |
parents | beb67ff4c8a0 |
children | 459a334345ae |
line wrap: on
line diff
--- a/src/compiler.sml Sun May 23 11:52:13 2010 -0400 +++ b/src/compiler.sml Thu May 27 10:56:52 2010 -0400 @@ -869,9 +869,13 @@ let val m = (Source.StrVar name, loc) val final = String.extract (final, size root + 1, NONE) + val fields = String.fields (fn ch => ch = #"/") final + val fields = List.filter (fn s => size s = 0 + orelse not (Char.isDigit (String.sub (s, 0)))) + fields in foldl (fn (x, m) => (Source.StrProj (m, capitalize x), loc)) - m (String.fields (fn ch => ch = #"/") final) + m fields end val ds = dsFfi @ ds