diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-08-02 16:33:25 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-08-02 16:33:25 -0400 |
| commit | fdc6c1310be60fbeb597400618473861f78676de (patch) | |
| tree | 201d14d77f7f944545809bff02ae45fc826bb7e7 /src/monoize.sml | |
| parent | 722b0c632007ac6ea178b05695974e447b4288a3 (diff) | |
Basis.getenv
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 7b1da97a..371e1d43 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -225,6 +225,9 @@ fun monoType env = | L.CFfi ("Basis", "css_property") => (L'.TFfi ("Basis", "string"), loc) | L.CFfi ("Basis", "css_style") => (L'.TFfi ("Basis", "string"), loc) | L.CFfi ("Basis", "id") => (L'.TFfi ("Basis", "string"), loc) + | L.CFfi ("Basis", "requestHeader") => (L'.TFfi ("Basis", "string"), loc) + | L.CFfi ("Basis", "responseHeader") => (L'.TFfi ("Basis", "string"), loc) + | L.CFfi ("Basis", "envVar") => (L'.TFfi ("Basis", "string"), loc) | L.CApp ((L.CFfi ("Basis", "serialized"), _), _) => (L'.TFfi ("Basis", "string"), loc) |