Mercurial > urweb
comparison src/mono_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 | 5819fb63c93a |
comparison
equal
deleted
inserted
replaced
724:12ec14a6be0b | 725:4c5796512edc |
---|---|
438 string ")"] | 438 string ")"] |
439 | DJavaScript s => box [string "JavaScript(", | 439 | DJavaScript s => box [string "JavaScript(", |
440 string s, | 440 string s, |
441 string ")"] | 441 string ")"] |
442 | 442 |
443 | DCookie s => box [string "cookie", | |
444 space, | |
445 string s] | |
443 | DStyle s => box [string "style", | 446 | DStyle s => box [string "style", |
444 space, | 447 space, |
445 string s] | 448 string s] |
446 | 449 |
447 | 450 |