# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1256490744 14400
# Node ID 68ba074e260f057a43f5746763dafe45168f7b41
# Parent  9304474170edf7e1cae26841b16e137a2e59445a
Always inline records

diff -r 9304474170ed -r 68ba074e260f src/reduce.sml
--- a/src/reduce.sml	Sun Oct 25 13:02:13 2009 -0400
+++ b/src/reduce.sml	Sun Oct 25 13:12:24 2009 -0400
@@ -838,6 +838,9 @@
             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 ()