Allow Partial Eval of lambdas/lets in static pos
commitc6da5f68b1692b30faff23d86807441435cbb081
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 14 Oct 2014, 11:12 (12 years ago)
parent7a0f64d
src/Idris/Elab/Clause.hs+2
@@ -360,6 +360,8 @@ elabPE info fc caller r =
360360 [] -> False
361361 _ -> True
362362 concreteTm ist (Constant _) = True
363+ concreteTm ist (Bind n (Lam _) sc) = True
364+ concreteTm ist (Bind n (Let _ _) sc) = concreteTm ist sc
363365 concreteTm ist _ = False
364366
365367 -- get the type of a specialised application