Mercurial > urweb

comparison src/mono.sml @ 1199:c316ca3c9ec6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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