comparison src/mono.sml @ 718:f152f215a02c

style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents d8217b4cb617
children acb8537f58f0
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
125 | DSequence of string 125 | DSequence of string
126 | DDatabase of {name : string, expunge : int, initialize : int} 126 | DDatabase of {name : string, expunge : int, initialize : int}
127 127
128 | DJavaScript of string 128 | DJavaScript of string
129 129
130 | DStyle of string * string list
131
130 132
131 withtype decl = decl' located 133 withtype decl = decl' located
132 134
133 type file = decl list 135 type file = decl list
134 136