Mercurial > urweb
comparison src/expl.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 |
---|---|
146 | DView of int * string * int * exp * con | 146 | DView of int * string * int * exp * con |
147 | DDatabase of string | 147 | DDatabase of string |
148 | DCookie of int * string * int * con | 148 | DCookie of int * string * int * con |
149 | DStyle of int * string * int | 149 | DStyle of int * string * int |
150 | DTask of exp * exp | 150 | DTask of exp * exp |
151 | DPolicy of exp | |
151 | 152 |
152 and str' = | 153 and str' = |
153 StrConst of decl list | 154 StrConst of decl list |
154 | StrVar of int | 155 | StrVar of int |
155 | StrProj of str * string | 156 | StrProj of str * string |