diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-12-18 10:56:31 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-12-18 10:56:31 -0500 |
| commit | 496433cdd2f108b483e4762776dfe1305c466eee (patch) | |
| tree | 294baafc0fd3480fdce266c71f27090164d2114c /src/export.sml | |
| parent | 8f2b2ce3da639c8a140d21a22b0ae67dbbdc649d (diff) | |
postBody type
Diffstat (limited to 'src/export.sml')
| -rw-r--r-- | src/export.sml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/export.sml b/src/export.sml index ad604e16..5d200894 100644 --- a/src/export.sml +++ b/src/export.sml @@ -39,6 +39,7 @@ datatype export_kind = Link | Action of effect | Rpc of effect + | Extern of effect fun p_effect ef = case ef of @@ -51,5 +52,6 @@ fun p_export_kind ck = 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 |