[empty evals should not chop off rest of body until type can be determined
John Meacham <john@repetae.net>**20060221093238] hunk ./Grin/PointsToAnalysis.hs 319
-                        return $ (Return vr :>>= createEval NoUpdate typeEnv (tagsp v))
+                        e' <- g e
+                        return $ (Return vr :>>= createEval NoUpdate typeEnv (tagsp v)) :>>= vb :-> e'
hunk ./Grin/Whiz.hs 125
-    f a@(Error msg ty) ((senv,p,b):xs) env = do
-        lift $ tf (Error msg (getType b))
+    f (Error msg ty) [] env = do
+        lift $ tf (Error msg ty)
+    f (Error msg ty) ((_,_,b):xs) env = do
+        f (Error msg (getType b)) xs env