Mercurial > urweb
comparison src/mono.sml @ 1845:c1e3805e604e
Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 15 Mar 2013 16:09:55 -0400 |
parents | aaae710417df |
children | e15234fbb163 |
comparison
equal
deleted
inserted
replaced
1844:2c5e6f78560c | 1845:c1e3805e604e |
---|---|
155 | DPolicy of policy | 155 | DPolicy of policy |
156 | DOnError of int | 156 | DOnError of int |
157 | 157 |
158 withtype decl = decl' located | 158 withtype decl = decl' located |
159 | 159 |
160 type file = decl list | 160 datatype sidedness = |
161 ServerOnly | |
162 | ServerAndPull | |
163 | ServerAndPullAndPush | |
164 | |
165 type file = decl list * (int * sidedness) list | |
161 | 166 |
162 end | 167 end |