Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/mono.sml Tue Mar 12 16:21:20 2013 -0400 +++ b/src/mono.sml Fri Mar 15 16:09:55 2013 -0400 @@ -157,6 +157,11 @@ withtype decl = decl' located -type file = decl list +datatype sidedness = + ServerOnly + | ServerAndPull + | ServerAndPullAndPush + +type file = decl list * (int * sidedness) list end