Mercurial > urweb
comparison src/elab.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 |
---|---|
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 | 175 |
175 and str' = | 176 and str' = |
176 StrConst of decl list | 177 StrConst of decl list |
177 | StrVar of int | 178 | StrVar of int |
178 | StrProj of str * string | 179 | StrProj of str * string |