Mercurial > urweb

diff src/mono_reduce.sml @ 1966:b15a4c2cb542

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
neverInline
author Adam Chlipala <adam@chlipala.net>
date Sun, 09 Feb 2014 19:29:36 -0500
parents fec7beec96c7
children 8ea382a57ce2
line wrap: on
line diff
--- a/src/mono_reduce.sml	Sun Jan 19 14:31:55 2014 -0500
+++ b/src/mono_reduce.sml	Sun Feb 09 19:29:36 2014 -0500
@@ -395,10 +395,11 @@
         fun mayInline (n, e, t, s) =
             case IM.find (uses, n) of
                 NONE => false
-              | SOME count => count <= 1
-                              orelse size e <= Settings.getMonoInline ()
-                              orelse functionInside t
-                              orelse Settings.checkAlwaysInline s
+              | SOME count => not (Settings.checkNeverInline s)
+                              andalso (count <= 1
+                                       orelse size e <= Settings.getMonoInline ()
+                                       orelse functionInside t
+                                       orelse Settings.checkAlwaysInline s)
 
         fun summarize d (e, _) =
             let