Mercurial > urweb
comparison src/mono.sml @ 1220:526575a9537a
Insert policies
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 11 Apr 2010 10:57:52 -0400 |
parents | 648e6b087dfb |
children | 00e628854005 |
comparison
equal
deleted
inserted
replaced
1219:3224faec752d | 1220:526575a9537a |
---|---|
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 = PolClient of exp | 126 datatype policy = |
127 PolClient of exp | |
128 | PolInsert of exp | |
127 | 129 |
128 datatype decl' = | 130 datatype decl' = |
129 DDatatype of (string * int * (string * int * typ option) list) list | 131 DDatatype of (string * int * (string * int * typ option) list) list |
130 | DVal of string * int * typ * exp * string | 132 | DVal of string * int * typ * exp * string |
131 | DValRec of (string * int * typ * exp * string) list | 133 | DValRec of (string * int * typ * exp * string) list |