Mercurial > urweb
diff src/export.sml @ 1347:b106ca8200b1
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