Mercurial > urweb

diff src/export.sml @ 1347:b106ca8200b1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
postBody type
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Dec 2010 10:56:31 -0500
parents 5ccb67665d05
children 6745eafff617
line wrap: on
line diff
--- a/src/export.sml	Thu Dec 16 18:40:49 2010 -0500
+++ b/src/export.sml	Sat Dec 18 10:56:31 2010 -0500
@@ -39,6 +39,7 @@
          Link
        | Action of effect
        | Rpc of effect
+       | Extern of effect
 
 fun p_effect ef =
     case ef of
@@ -51,5 +52,6 @@
         Link => string "link"
       | Action ef => box [string "action(", p_effect ef, string ")"]
       | Rpc ef => box [string "rpc(", p_effect ef, string ")"]
+      | Extern ef => box [string "extern(", p_effect ef, string ")"]
 
 end