From 3d21914a4b831ee9c727dd4296e56961c1e4ea89 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 15 Mar 2013 16:09:55 -0400
Subject: Make Scriptcheck catch more script/message-passing uses, and move the
 phase earlier in compilation

---
 src/cjr.sml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'src/cjr.sml')

diff --git a/src/cjr.sml b/src/cjr.sml
index c348d01a..3a37b26f 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -128,10 +128,7 @@ datatype decl' =
 
 withtype decl = decl' located
 
-datatype sidedness =
-         ServerOnly
-       | ServerAndPull
-       | ServerAndPullAndPush
+datatype sidedness = datatype Mono.sidedness
 
 datatype effect = datatype Export.effect
 datatype export_kind = datatype Export.export_kind
-- 
cgit v1.2.3