comparison src/core.sml @ 1199:c316ca3c9ec6

Pushing policies through
author Adam Chlipala <adamc@hcoop.net>
date Sun, 04 Apr 2010 12:29:34 -0400
parents 72670131dace
children b4480a56cab7
comparison
equal deleted inserted replaced
1197:6d8e3dcb9713 1199:c316ca3c9ec6
133 | DView of string * int * string * exp * con 133 | DView of string * int * string * exp * con
134 | DDatabase of string 134 | DDatabase of string
135 | DCookie of string * int * con * string 135 | DCookie of string * int * con * string
136 | DStyle of string * int * string 136 | DStyle of string * int * string
137 | DTask of exp * exp 137 | DTask of exp * exp
138 | DPolicy of exp
138 139
139 withtype decl = decl' located 140 withtype decl = decl' located
140 141
141 type file = decl list 142 type file = decl list
142 143