| > x# `divInt#` 1# | > | (x# <# 0#) = x# | > | otherwise = x# | > | > which simplifies to just x#, and GHC does manage this, I just tried it. | | Hmm, I hadn't realised that GHC does this. Is it only for simple rhss?
Yes -- just if the RHS is small and patently the same as all the other RHSs. We also need to be careful about changing termination behaviour, in general. S _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
