Mercurial > urweb
comparison src/elab.sml @ 720:acb8537f58f0
Stop tracking CSS classes in XML types
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 12 Apr 2009 12:31:54 -0400 |
parents | f152f215a02c |
children | e0dd85ea58e1 |
comparison
equal
deleted
inserted
replaced
719:5c099b1308ae | 720:acb8537f58f0 |
---|---|
169 | DTable of int * string * int * con * exp * con * exp * con | 169 | DTable of int * string * int * con * exp * con * exp * con |
170 | DSequence of int * string * int | 170 | DSequence of int * string * int |
171 | DClass of string * int * kind * con | 171 | DClass of string * int * kind * con |
172 | DDatabase of string | 172 | DDatabase of string |
173 | DCookie of int * string * int * con | 173 | DCookie of int * string * int * con |
174 | DStyle of int * string * int * con | 174 | DStyle of int * string * int |
175 | 175 |
176 and str' = | 176 and str' = |
177 StrConst of decl list | 177 StrConst of decl list |
178 | StrVar of int | 178 | StrVar of int |
179 | StrProj of str * string | 179 | StrProj of str * string |