# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1294335073 18000
# Node ID 0af6bd2dd149d3d694bc48ad429507ba70f4716b
# Parent  5cb95fb7d4d5da37c46b89ec1f808ae7ceddcd51
Expand valueish again

diff -r 5cb95fb7d4d5 -r 0af6bd2dd149 src/especialize.sml
--- a/src/especialize.sml	Thu Jan 06 09:25:15 2011 -0500
+++ b/src/especialize.sml	Thu Jan 06 12:31:13 2011 -0500
@@ -337,20 +337,9 @@
                                   | EKAbs _ => true
                                   | ECApp (e, _) => valueish e
                                   | EKApp (e, _) => valueish e
-                                  | EApp _ =>
-                                    let
-                                        fun valueishf (e, _) =
-                                            case e of
-                                                ENamed _ => true
-                                              | EFfi _ => true
-                                              | ECApp (e, _) => valueishf e
-                                              | EApp (e, (ERel _, _)) => valueishf e
-                                              | EApp (e, (ENamed _, _)) => valueishf e
-                                              | _ => false
-                                    in
-                                        valueishf all
-                                    end
+                                  | EApp (e1, e2) => valueish e1 andalso valueish e2
                                   | ERecord xes => List.all (valueish o #2) xes
+                                  | EField (e, _, _) => valueish e
                                   | _ => false
 
                             val vts = map (fn n => #2 (List.nth (env, n))) (IS.listItems fvs)