diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-07 11:56:53 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 11:56:53 -0400 |
| commit | f2829abe30366bc78ce8e5bd6272fac06a7f5b84 (patch) | |
| tree | b846e8bd29afc109cab20c1e0ee9c5cda2fd1028 /src/prepare.sml | |
| parent | f8d1a7fcf13f655200be366733c24233b5df7f9a (diff) | |
'read' for strings
Diffstat (limited to 'src/prepare.sml')
| -rw-r--r-- | src/prepare.sml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/prepare.sml b/src/prepare.sml index 64ccb465..f74b8747 100644 --- a/src/prepare.sml +++ b/src/prepare.sml @@ -60,6 +60,12 @@ fun prepExp (e as (_, loc), sns) = in ((ECon (dk, pc, SOME e), loc), sns) end + | ESome (t, e) => + let + val (e, sns) = prepExp (e, sns) + in + ((ESome (t, e), loc), sns) + end | EFfi _ => (e, sns) | EFfiApp (m, x, es) => let |