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