Mercurial > urweb

comparison src/monoize.sml @ 590:57f476c934da

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Injecting an int
author Adam Chlipala <adamc@hcoop.net>
date Thu, 01 Jan 2009 15:11:17 -0500
parents 1e589a60b86f
children 4c2c740c6931
comparison
equal deleted inserted replaced
589:102e81d975e3 590:57f476c934da
974 val t = monoType env t 974 val t = monoType env t
975 in 975 in
976 ((L'.EAbs ("x", t, (L'.TFun ((L'.TRecord [], loc), (L'.TSource, loc)), loc), 976 ((L'.EAbs ("x", t, (L'.TFun ((L'.TRecord [], loc), (L'.TSource, loc)), loc),
977 (L'.EAbs ("_", (L'.TRecord [], loc), (L'.TSource, loc), 977 (L'.EAbs ("_", (L'.TRecord [], loc), (L'.TSource, loc),
978 (L'.EFfiApp ("Basis", "new_client_source", 978 (L'.EFfiApp ("Basis", "new_client_source",
979 [(L'.EJavaScript (L'.File, (L'.ERel 1, loc), NONE), loc)]), 979 [(L'.EJavaScript (L'.Source t, (L'.ERel 1, loc), NONE), loc)]),
980 loc)), loc)), 980 loc)), loc)),
981 loc), 981 loc),
982 fm) 982 fm)
983 end 983 end
984 | L.ECApp ((L.EFfi ("Basis", "set"), _), t) => 984 | L.ECApp ((L.EFfi ("Basis", "set"), _), t) =>
989 (L'.TFun (t, (L'.TFun ((L'.TRecord [], loc), (L'.TRecord [], loc)), loc)), loc), 989 (L'.TFun (t, (L'.TFun ((L'.TRecord [], loc), (L'.TRecord [], loc)), loc)), loc),
990 (L'.EAbs ("v", t, (L'.TFun ((L'.TRecord [], loc), (L'.TRecord [], loc)), loc), 990 (L'.EAbs ("v", t, (L'.TFun ((L'.TRecord [], loc), (L'.TRecord [], loc)), loc),
991 (L'.EAbs ("_", (L'.TRecord [], loc), (L'.TRecord [], loc), 991 (L'.EAbs ("_", (L'.TRecord [], loc), (L'.TRecord [], loc),
992 (L'.EFfiApp ("Basis", "set_client_source", 992 (L'.EFfiApp ("Basis", "set_client_source",
993 [(L'.ERel 2, loc), 993 [(L'.ERel 2, loc),
994 (L'.EJavaScript (L'.File, (L'.ERel 1, loc), NONE), loc)]), 994 (L'.EJavaScript (L'.Source t,
995 (L'.ERel 1, loc), NONE), loc)]),
995 loc)), loc)), loc)), loc), 996 loc)), loc)), loc)), loc),
996 fm) 997 fm)
997 end 998 end
998 999
999 | L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "return"), _), _), _), t), _), 1000 | L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "return"), _), _), _), t), _),