From 31da370dd5fae72ddf756aa5ef54241b099fd617 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 25 Oct 2009 13:12:24 -0400
Subject: Always inline records

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

(limited to 'src/reduce.sml')

diff --git a/src/reduce.sml b/src/reduce.sml
index 59ec565a..38465fda 100644
--- a/src/reduce.sml
+++ b/src/reduce.sml
@@ -838,6 +838,9 @@ fun reduce file =
             case IM.find (uses, n) of
                 NONE => false
               | SOME count => count <= 1
+                              orelse (case #1 e of
+                                          ERecord _ => true
+                                        | _ => false)
                               orelse isPoly polyC t
                               orelse size e <= Settings.getCoreInline ()
 
-- 
cgit v1.2.3