Mercurial > urweb
comparison src/mono.sml @ 1199:c316ca3c9ec6
Pushing policies through
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 04 Apr 2010 12:29:34 -0400 |
parents | 7a31e0cf25e9 |
children | 648e6b087dfb |
comparison
equal
deleted
inserted
replaced
1197:6d8e3dcb9713 | 1199:c316ca3c9ec6 |
---|---|
1 (* Copyright (c) 2008, Adam Chlipala | 1 (* Copyright (c) 2008-2010, Adam Chlipala |
2 * All rights reserved. | 2 * All rights reserved. |
3 * | 3 * |
4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
5 * modification, are permitted provided that the following conditions are met: | 5 * modification, are permitted provided that the following conditions are met: |
6 * | 6 * |
121 | ESleep of exp | 121 | ESleep of exp |
122 | ESpawn of exp | 122 | ESpawn of exp |
123 | 123 |
124 withtype exp = exp' located | 124 withtype exp = exp' located |
125 | 125 |
126 datatype policy = PolQuery of exp | |
127 | |
126 datatype decl' = | 128 datatype decl' = |
127 DDatatype of (string * int * (string * int * typ option) list) list | 129 DDatatype of (string * int * (string * int * typ option) list) list |
128 | DVal of string * int * typ * exp * string | 130 | DVal of string * int * typ * exp * string |
129 | DValRec of (string * int * typ * exp * string) list | 131 | DValRec of (string * int * typ * exp * string) list |
130 | DExport of export_kind * string * int * typ list * typ * bool | 132 | DExport of export_kind * string * int * typ list * typ * bool |
139 | DCookie of string | 141 | DCookie of string |
140 | DStyle of string | 142 | DStyle of string |
141 | 143 |
142 | DTask of exp * exp | 144 | DTask of exp * exp |
143 | 145 |
146 | DPolicy of policy | |
147 | |
144 withtype decl = decl' located | 148 withtype decl = decl' located |
145 | 149 |
146 type file = decl list | 150 type file = decl list |
147 | 151 |
148 end | 152 end |