diff src/reduce.sml @ 1969:f463c773ed6a

Use neverInline in reduce
author Adam Chlipala <adam@chlipala.net>
date Sat, 15 Feb 2014 10:06:18 -0500
parents 32784d27b5bc
children 18e6fb487880
line wrap: on
line diff
--- a/src/reduce.sml	Fri Feb 14 15:11:22 2014 -0500
+++ b/src/reduce.sml	Sat Feb 15 10:06:18 2014 -0500
@@ -849,7 +849,7 @@
                                       con = fn (_, n) => n,
                                       exp = fn (_, n) => n + 1} 0
 
-        fun mayInline (polyC, n, t, e) =
+        fun mayInline (polyC, n, t, e, s) =
             let
                 fun isPolicy t =
                     case #1 t of
@@ -857,6 +857,7 @@
                       | TFun (_, t) => isPolicy t
                       | _ => false
             in
+                not (Settings.checkNeverInline s) andalso
                 case IM.find (uses, n) of
                     NONE => false
                   | SOME count => count <= 1
@@ -907,7 +908,7 @@
                     ((DVal (x, n, t, e, s), loc),
                      (polyC,
                       namedC,
-                      if mayInline (polyC, n, t, e) then
+                      if mayInline (polyC, n, t, e, s) then
                           IM.insert (namedE, n, e)
                       else
                           namedE))