Mercurial > urweb
comparison src/source.sml @ 1254:935a981f4380
Merge
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 06 May 2010 13:57:01 -0400 |
parents | c316ca3c9ec6 |
children | b4480a56cab7 |
comparison
equal
deleted
inserted
replaced
1198:b52929351402 | 1254:935a981f4380 |
---|---|
166 | DClass of string * kind * con | 166 | DClass of string * kind * con |
167 | DDatabase of string | 167 | DDatabase of string |
168 | DCookie of string * con | 168 | DCookie of string * con |
169 | DStyle of string | 169 | DStyle of string |
170 | DTask of exp * exp | 170 | DTask of exp * exp |
171 | DPolicy of exp | |
171 | 172 |
172 and str' = | 173 and str' = |
173 StrConst of decl list | 174 StrConst of decl list |
174 | StrVar of string | 175 | StrVar of string |
175 | StrProj of str * string | 176 | StrProj of str * string |