Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
724:12ec14a6be0b | 725:4c5796512edc |
---|---|
2723 val t' = (L'.TFfi ("Basis", "string"), loc) | 2723 val t' = (L'.TFfi ("Basis", "string"), loc) |
2724 val e = (L'.EPrim (Prim.String s), loc) | 2724 val e = (L'.EPrim (Prim.String s), loc) |
2725 in | 2725 in |
2726 SOME (Env.pushENamed env x n t NONE s, | 2726 SOME (Env.pushENamed env x n t NONE s, |
2727 fm, | 2727 fm, |
2728 [(L'.DVal (x, n, t', e, s), loc)]) | 2728 [(L'.DCookie s, loc), |
2729 (L'.DVal (x, n, t', e, s), loc)]) | |
2729 end | 2730 end |
2730 | L.DStyle (x, n, s) => | 2731 | L.DStyle (x, n, s) => |
2731 let | 2732 let |
2732 val t = (L.CFfi ("Basis", "string"), loc) | 2733 val t = (L.CFfi ("Basis", "string"), loc) |
2733 val t' = (L'.TFfi ("Basis", "string"), loc) | 2734 val t' = (L'.TFfi ("Basis", "string"), loc) |