From 5291d69e926a1967ab169482c60c09de696a8655 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 25 Oct 2009 12:08:21 -0400
Subject: Inlining threshold for Reduce

---
 src/settings.sml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/settings.sml')

diff --git a/src/settings.sml b/src/settings.sml
index b7bc02ff..300bbf2c 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -402,4 +402,12 @@ val sql = ref (NONE : string option)
 fun setSql so = sql := so
 fun getSql () = !sql
 
+val coreInline = ref 20
+fun setCoreInline n = coreInline := n
+fun getCoreInline () = !coreInline
+
+val monoInline = ref 20
+fun setMonoInline n = monoInline := n
+fun getMonoInline () = !monoInline
+
 end
-- 
cgit v1.2.3