comparison src/cjr.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
108 | DSequence of string 108 | DSequence of string
109 | DDatabase of {name : string, expunge : int, initialize : int} 109 | DDatabase of {name : string, expunge : int, initialize : int}
110 | DPreparedStatements of (string * int) list 110 | DPreparedStatements of (string * int) list
111 111
112 | DJavaScript of string 112 | DJavaScript of string
113 | DCookie of string
113 | DStyle of string 114 | DStyle of string
114 115
115 withtype decl = decl' located 116 withtype decl = decl' located
116 117
117 datatype sidedness = 118 datatype sidedness =