summaryrefslogtreecommitdiff
path: root/src/core.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 14:49:25 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 14:49:25 -0400
commit6d021ead0f73c5a28080b50a1bd08b1ab72590c9 (patch)
tree1560f6013ce6de0388180550168c20e9756eaa2c /src/core.sml
parent6d06bc0105d704373295c749aa65cc92488ac56c (diff)
Label exported symbols by effect-ness; factor out some common datatypes
Diffstat (limited to 'src/core.sml')
-rw-r--r--src/core.sml8
1 files changed, 3 insertions, 5 deletions
diff --git a/src/core.sml b/src/core.sml
index d9d7f51d..01cf4ec7 100644
--- a/src/core.sml
+++ b/src/core.sml
@@ -70,7 +70,7 @@ datatype con' =
withtype con = con' located
-datatype datatype_kind = datatype Elab.datatype_kind
+datatype datatype_kind = datatype DatatypeKind.datatype_kind
datatype patCon =
PConVar of int
@@ -119,10 +119,8 @@ datatype exp' =
withtype exp = exp' located
-datatype export_kind =
- Link
- | Action
- | Rpc
+datatype effect = datatype Export.effect
+datatype export_kind = datatype Export.export_kind
datatype decl' =
DCon of string * int * kind * con