comparison src/cjr_print.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 acb8537f58f0
children e0dd85ea58e1
comparison
equal deleted inserted replaced
724:12ec14a6be0b 725:4c5796512edc
2144 string "}"] 2144 string "}"]
2145 2145
2146 | DJavaScript s => box [string "static char jslib[] = \"", 2146 | DJavaScript s => box [string "static char jslib[] = \"",
2147 string (String.toString s), 2147 string (String.toString s),
2148 string "\";"] 2148 string "\";"]
2149 | DCookie s => box [string "/*",
2150 space,
2151 string "cookie",
2152 space,
2153 string s,
2154 space,
2155 string "*/"]
2149 | DStyle s => box [string "/*", 2156 | DStyle s => box [string "/*",
2150 space, 2157 space,
2151 string "style", 2158 string "style",
2152 space, 2159 space,
2153 string s, 2160 string s,