From e27335a18e8f4b1cca2749e8d41863b3cbef9b62 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 15 Feb 2009 09:27:36 -0500
Subject: Export RPC functions and push RPC calls through to Mono

---
 src/core.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/core.sml')

diff --git a/src/core.sml b/src/core.sml
index fbe150c1..62f046fe 100644
--- a/src/core.sml
+++ b/src/core.sml
@@ -113,6 +113,7 @@ withtype exp = exp' located
 datatype export_kind =
          Link
        | Action
+       | Rpc
 
 datatype decl' =
          DCon of string * int * kind * con
-- 
cgit v1.2.3