summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-02-01 12:29:14 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2015-02-01 12:29:14 -0500
commiteab0e09b2b4d125abb98e088ff9a03581aa05717 (patch)
treedf37df1329c579861b6337d2de241d67084f9618 /src
parent2200a9e67a5e280406f55048dc03b5a8fd51d642 (diff)
A new MonoReduce optimization for lifting 'let' out of field projection; JavaScript compilation for exponentiation
Diffstat (limited to 'src')
-rw-r--r--src/jscomp.sml2
-rw-r--r--src/mono_reduce.sml17
2 files changed, 15 insertions, 4 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml
index 1a476739..3709bcd3 100644
--- a/src/jscomp.sml
+++ b/src/jscomp.sml
@@ -724,6 +724,8 @@ fun process (file : file) =
| "<" => "lt"
| "<=" => "le"
| "strcmp" => "strcmp"
+ | "powl" => "pow"
+ | "powf" => "pow"
| _ => raise Fail ("Jscomp: Unknown binary operator " ^ s)
val (e1, st) = jsE inner (e1, st)
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml
index 8ca84c15..39d02b99 100644
--- a/src/mono_reduce.sml
+++ b/src/mono_reduce.sml
@@ -818,10 +818,19 @@ fun reduce (file : file) =
search pes
end
- | EField ((ERecord xes, _), x) =>
- (case List.find (fn (x', _, _) => x' = x) xes of
- SOME (_, e, _) => #1 e
- | NONE => e)
+ | EField (e1, x) =>
+ let
+ fun yankLets (e : exp) =
+ case #1 e of
+ ELet (x, t, e1, e2) => (ELet (x, t, e1, yankLets e2), #2 e)
+ | ERecord xes =>
+ (case List.find (fn (x', _, _) => x' = x) xes of
+ SOME (_, e, _) => e
+ | NONE => (EField (e, x), #2 e))
+ | _ => (EField (e, x), #2 e)
+ in
+ #1 (yankLets e1)
+ end
| ELet (x1, t1, (ELet (x2, t2, e1, b1), loc), b2) =>
let