Mercurial > urweb
comparison src/source.sml @ 1199:c316ca3c9ec6
Pushing policies through
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 04 Apr 2010 12:29:34 -0400 |
parents | 0657e5adc938 |
children | b4480a56cab7 |
comparison
equal
deleted
inserted
replaced
1197:6d8e3dcb9713 | 1199:c316ca3c9ec6 |
---|---|
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 |