diff src/monoize.sml @ 725:4c5796512edc

Catching duplicate cookie and style paths
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 12:07:21 -0400
parents 12ec14a6be0b
children ba4c230b7231
line wrap: on
line diff
--- a/src/monoize.sml	Thu Apr 16 12:00:44 2009 -0400
+++ b/src/monoize.sml	Thu Apr 16 12:07:21 2009 -0400
@@ -2725,7 +2725,8 @@
             in
                 SOME (Env.pushENamed env x n t NONE s,
                       fm,
-                      [(L'.DVal (x, n, t', e, s), loc)])
+                      [(L'.DCookie s, loc),
+                       (L'.DVal (x, n, t', e, s), loc)])
             end
           | L.DStyle (x, n, s) =>
             let