From ede0d18f8ce0f39b1458f201d144682e2d52ca5b Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 6 Jan 2011 12:31:13 -0500 Subject: Expand valueish again --- src/especialize.sml | 15 ++------------- 1 file changed, 2 insertions(+), 13 deletions(-) (limited to 'src/especialize.sml') diff --git a/src/especialize.sml b/src/especialize.sml index c4789268..8720a7b1 100644 --- a/src/especialize.sml +++ b/src/especialize.sml @@ -337,20 +337,9 @@ fun specialize' (funcs, specialized) file = | 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) -- cgit v1.2.3