Searched refs:addSizeNSD (Results 1 – 4 of 4) sorted by relevance
436 | otherwise = size_up arg `addSizeNSD`444 = size_up_rhs (binder, rhs) `addSizeNSD`449 = foldr (addSizeNSD . size_up_rhs)494 size_up (Case e _ _ alts) = size_up e `addSizeNSD`543 | otherwise = size_up arg `addSizeNSD`599 addSizeNSD TooBig _ = TooBig function600 addSizeNSD _ TooBig = TooBig function601 addSizeNSD (SizeIs n1 xs _) (SizeIs n2 ys d2)
630 | otherwise = size_up arg `addSizeNSD`638 = size_up_rhs (binder, rhs) `addSizeNSD`643 = foldr (addSizeNSD . size_up_rhs)688 size_up (Case e _ _ alts) = size_up e `addSizeNSD`737 | otherwise = size_up arg `addSizeNSD`793 addSizeNSD TooBig _ = TooBig function794 addSizeNSD _ TooBig = TooBig function795 addSizeNSD (SizeIs n1 xs _) (SizeIs n2 ys d2)
650 | otherwise = size_up arg `addSizeNSD`658 = size_up_rhs (binder, rhs) `addSizeNSD`663 = foldr (addSizeNSD . size_up_rhs)708 size_up (Case e _ _ alts) = size_up e `addSizeNSD`757 | otherwise = size_up arg `addSizeNSD`813 addSizeNSD TooBig _ = TooBig function814 addSizeNSD _ TooBig = TooBig function815 addSizeNSD (SizeIs n1 xs _) (SizeIs n2 ys d2)