@@ -249,8 +249,8 @@ irTerm vs env tm@(App f a) = case unApply tm of
250 -- This case is here until we get more general inlining. It's just
250 -- This case is here until we get more general inlining. It's just
251 -- a really common case, and the laziness hurts...
251 -- a really common case, and the laziness hurts...
252− (P _ (NS (UN be) [b,p]) _, [_,x,(App (P _ (UN d) _) t),
252+ (P _ (NS (UN be) [b,p]) _, [_,x,(App (App (App (P _ (UN d) _) _) _) t),
253− (App (P _ (UN d') _) e)])
253+ (App (App (App (P _ (UN d') _) _) _) e)])
254 | be == txt "boolElim"
254 | be == txt "boolElim"
255 , d == txt "Delay"
255 , d == txt "Delay"
256 , d' == txt "Delay"
256 , d' == txt "Delay"