-corePrepExprFloat env (Case (Note note@(TickBox m n) expr) bndr ty alts)
- = corePrepExprFloat env (Note note (Case expr bndr ty alts))
-
-corePrepExprFloat env (Case (Note note@(BinaryTickBox m t e) expr) bndr ty alts)
- = do { ASSERT(exprType expr `coreEqType` boolTy)
- corePrepExprFloat env $
- Case expr bndr ty
- [ (DataAlt falseDataCon, [], Note (TickBox m e) falseBranch)
- , (DataAlt trueDataCon, [], Note (TickBox m t) trueBranch)
- ]
- }
- where
- (_,_,trueBranch) = findAlt (DataAlt trueDataCon) alts
- (_,_,falseBranch) = findAlt (DataAlt falseDataCon) alts
-