From 7db27b06d50316f07bb38ddc5999d086be911ed2 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 8 Feb 2011 16:54:01 -0500 Subject: Notice that Basis.now is effectful; smarter JavaScript encoding of initial source values built using server-side expressions that can't be turned into JavaScript --- src/jscomp.sml | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'src/jscomp.sml') diff --git a/src/jscomp.sml b/src/jscomp.sml index 2c00e04c..cd08cc0d 100644 --- a/src/jscomp.sml +++ b/src/jscomp.sml @@ -1186,6 +1186,18 @@ fun process file = ((EUnurlify (e, t, b), loc), st) end + | EJavaScript (m as Source t, e') => + (foundJavaScript := true; + let + val (x', st) = jsExp m (t :: outer) ((ERel 0, loc), st) + in + ((ELet ("x", t, e', x'), loc), st) + end + handle CantEmbed t => ((*ErrorMsg.errorAt loc "Unable to embed type in JavaScript"; + Print.preface ("Type", + MonoPrint.p_typ MonoEnv.empty t);*) + (e, st))) + | EJavaScript (m, e') => (foundJavaScript := true; jsExp m outer (e', st) -- cgit v1.2.3