comparison src/monoize.sml @ 694:7ea0df9e56b6

spawn
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 14:55:36 -0400
parents a3ddf05fb3e3
children 500e93aa436f
comparison
equal deleted inserted replaced
693:655bcc9b77e0 694:7ea0df9e56b6
1039 (L'.EAbs ("_", (L'.TRecord [], loc), t, 1039 (L'.EAbs ("_", (L'.TRecord [], loc), t,
1040 (L'.EFfiApp ("Basis", "get_client_source", 1040 (L'.EFfiApp ("Basis", "get_client_source",
1041 [(L'.ERel 1, loc)]), 1041 [(L'.ERel 1, loc)]),
1042 loc)), loc)), loc), 1042 loc)), loc)), loc),
1043 fm) 1043 fm)
1044 end
1045
1046 | L.EFfiApp ("Basis", "spawn", [e]) =>
1047 let
1048 val (e, fm) = monoExp (env, st, fm) e
1049 in
1050 ((L'.EApp (e, (L'.ERecord [], loc)), loc), fm)
1044 end 1051 end
1045 1052
1046 | L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "return"), _), _), _), t), _), 1053 | L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "return"), _), _), _), t), _),
1047 (L.EFfi ("Basis", "signal_monad"), _)) => 1054 (L.EFfi ("Basis", "signal_monad"), _)) =>
1048 let 1055 let
2003 in 2010 in
2004 (L'.EJavaScript (L'.Attribute, e, NONE), loc) 2011 (L'.EJavaScript (L'.Attribute, e, NONE), loc)
2005 end 2012 end
2006 in 2013 in
2007 normal ("body", 2014 normal ("body",
2008 SOME (L'.EFfiApp ("Basis", "get_settings", [onload]), loc), 2015 SOME (L'.EStrcat ((L'.EPrim (Prim.String " onload='"), loc),
2016 (L'.EStrcat ((L'.EFfiApp ("Basis", "get_settings",
2017 [(L'.ERecord [], loc)]), loc),
2018 (L'.EStrcat (onload,
2019 (L'.EPrim (Prim.String "'"),
2020 loc)), loc)), loc)), loc),
2009 SOME (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]), loc)) 2021 SOME (L'.EFfiApp ("Basis", "get_script", [(L'.ERecord [], loc)]), loc))
2010 end 2022 end
2011 2023
2012 | "dyn" => 2024 | "dyn" =>
2013 (case attrs of 2025 (case attrs of