From 6d021ead0f73c5a28080b50a1bd08b1ab72590c9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 16 Apr 2009 14:49:25 -0400
Subject: Label exported symbols by effect-ness; factor out some common
 datatypes

---
 src/cjr.sml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'src/cjr.sml')

diff --git a/src/cjr.sml b/src/cjr.sml
index 3844ccad..9d43f14a 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -29,7 +29,7 @@ structure Cjr = struct
 
 type 'a located = 'a ErrorMsg.located
 
-datatype datatype_kind = datatype Mono.datatype_kind
+datatype datatype_kind = datatype DatatypeKind.datatype_kind
 
 datatype typ' =
          TFun of typ * typ
@@ -120,6 +120,9 @@ datatype sidedness =
        | ServerAndPull
        | ServerAndPullAndPush
 
-type file = decl list * (Core.export_kind * string * int * typ list * typ * sidedness) list
+datatype effect = datatype Export.effect
+datatype export_kind = datatype Export.export_kind
+
+type file = decl list * (export_kind * string * int * typ list * typ * sidedness) list
 
 end
-- 
cgit v1.2.3