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)