Mercurial > urweb

diff src/reduce.sml @ 1019:68ba074e260f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Always inline records
author Adam Chlipala <adamc@hcoop.net>
date Sun, 25 Oct 2009 13:12:24 -0400
parents 065ce3252090
children dfe34fad749d
line wrap: on
line diff
--- 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 ()