comparison src/mono_opt.sml @ 815:493f44759879

Redo Jscomp
author Adam Chlipala <adamc@hcoop.net>
date Sun, 17 May 2009 18:41:43 -0400
parents efceae06df17
children 3c7b48040dcf
comparison
equal deleted inserted replaced
814:3f3b211f9bca 815:493f44759879
374 ERecord [] 374 ERecord []
375 375
376 | ESignalBind ((ESignalReturn e1, loc), e2) => 376 | ESignalBind ((ESignalReturn e1, loc), e2) =>
377 optExp (EApp (e2, e1), loc) 377 optExp (EApp (e2, e1), loc)
378 378
379 | EJavaScript (_, _, SOME (e, _)) => e
380
381 | EFfiApp ("Basis", "bless", [(se as EPrim (Prim.String s), loc)]) => 379 | EFfiApp ("Basis", "bless", [(se as EPrim (Prim.String s), loc)]) =>
382 (if Settings.checkUrl s then 380 (if Settings.checkUrl s then
383 () 381 ()
384 else 382 else
385 ErrorMsg.errorAt loc ("Invalid URL " ^ s ^ " passed to 'bless'"); 383 ErrorMsg.errorAt loc ("Invalid URL " ^ s ^ " passed to 'bless'");