From 4276a0d3732f71ff4fcc1d2dbba8aa87f11a096c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 15 Feb 2014 10:06:18 -0500
Subject: Use neverInline in reduce

---
 src/reduce.sml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/reduce.sml')

diff --git a/src/reduce.sml b/src/reduce.sml
index 933a4d94..8691b93a 100644
--- a/src/reduce.sml
+++ b/src/reduce.sml
@@ -849,7 +849,7 @@ fun reduce file =
                                       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 @@ fun reduce file =
                       | 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 @@ fun reduce file =
                     ((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))
-- 
cgit v1.2.3