Mercurial > urweb
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, |