Merge pull request #1630 from edwinb/partial-eval
Allow Partial Eval of lambdas/lets in static pos
commit419770f5588ae3409fbece7f1dcd73d7cb710452
authorEdwin Brady <edwin.brady@gmail.com>
dateTue 14 Oct 2014, 11:35 (12 years ago)
parente890280c6da5f6
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