Mercurial > urweb
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 |