diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-03 10:00:10 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-03 10:00:10 -0500 |
| commit | 8e7573e9187d583bcc478676ad92dd94a9ba8387 (patch) | |
| tree | 999270929063a6966b6a45583e091ce015e612b3 /src/jscomp.sml | |
| parent | 0f14aa67e5446391904c6a4d2ee7b4f00b803158 (diff) | |
Allow sources to be returned by RPCs
Diffstat (limited to 'src/jscomp.sml')
| -rw-r--r-- | src/jscomp.sml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml index 3e475899..16043ba5 100644 --- a/src/jscomp.sml +++ b/src/jscomp.sml @@ -310,6 +310,8 @@ fun process file = | TFfi ("Basis", "bool") => ("t[i++] == \"1\"", st) + | TSource => ("parseSource(t[i++], t[i++])", st) + | TOption t => let val (e, st) = unurlifyExp loc (t, st) |