summaryrefslogtreecommitdiff
path: root/src/jscomp.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-06-06 15:29:34 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-06-06 15:29:34 -0400
commit555b6a066f6a4a2396ead20e673b363c3706e713 (patch)
tree7fa1f1bba387c1d98289cf2bb1fd8fdd717bb55f /src/jscomp.sml
parent4d4d6e4aea6565fa167296d16f94f4b768d5414e (diff)
Fix unbound name problem in Jscomp injectors; more List stuff
Diffstat (limited to 'src/jscomp.sml')
-rw-r--r--src/jscomp.sml17
1 files changed, 11 insertions, 6 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml
index 0178888a..b66cdaf2 100644
--- a/src/jscomp.sml
+++ b/src/jscomp.sml
@@ -42,7 +42,7 @@ structure TM = BinaryMapFn(struct
end)
type state = {
- decls : decl list,
+ decls : (string * int * (string * int * typ option) list) list,
script : string list,
included : IS.set,
injectors : int IM.map,
@@ -301,8 +301,8 @@ fun process file =
{disc = t, result = s}), loc)
val body = (EAbs ("x", t, s, body), loc)
- val st = {decls = (DValRec [("jsify", n', (TFun (t, s), loc),
- body, "jsify")], loc) :: #decls st,
+ val st = {decls = ("jsify", n', (TFun (t, s), loc),
+ body, "jsify") :: #decls st,
script = #script st,
included = #included st,
injectors = #injectors st,
@@ -362,8 +362,8 @@ fun process file =
{disc = t, result = s}), loc)
val body = (EAbs ("x", t, s, body), loc)
- val st = {decls = (DValRec [("jsify", n', (TFun (t, s), loc),
- body, "jsify")], loc) :: #decls st,
+ val st = {decls = ("jsify", n', (TFun (t, s), loc),
+ body, "jsify") :: #decls st,
script = #script st,
included = #included st,
injectors = #injectors st,
@@ -1337,8 +1337,13 @@ fun process file =
let
(*val () = Print.preface ("doDecl", MonoPrint.p_decl MonoEnv.empty d)*)
val (d, st) = decl (d, st)
+
+ val ds =
+ case #decls st of
+ [] => [d]
+ | vis => [(DValRec vis, #2 d), d]
in
- (List.revAppend (#decls st, [d]),
+ (ds,
{decls = [],
script = #script st,
included = #included st,