Mercurial > urweb

diff src/core_print.sml @ 732:5819fb63c93a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Effectness analysis
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 15:29:39 -0400
parents e0dd85ea58e1
children 8688e01ae469
line wrap: on
line diff
--- a/src/core_print.sml	Thu Apr 16 14:49:25 2009 -0400
+++ b/src/core_print.sml	Thu Apr 16 15:29:39 2009 -0400
@@ -467,12 +467,6 @@
              p_exp env e]
     end
 
-fun p_export_kind ck =
-    case ck of
-        Link => string "link"
-      | Action _ => string "action"
-      | Rpc _ => string "rpc"
-
 fun p_datatype env (x, n, xs, cons) =
     let
         val k = (KType, ErrorMsg.dummySpan)
@@ -538,7 +532,7 @@
         end
       | DExport (ek, n) => box [string "export",
                                 space,
-                                p_export_kind ek,
+                                Export.p_export_kind ek,
                                 space,
                                 p_enamed env n,
                                 space,