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 | c71de1db0cf31466bfc5fe7e96021e5d3cba6979 (patch) | |
| tree | 294baafc0fd3480fdce266c71f27090164d2114c /src/export.sml | |
| parent | f08b20b1ecc66389fc6a829cf3819b3b38b07c48 (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 |