[Haskell-cafe] Re: Optimizing 'sequence'

[Janis Voigtlaender]

Gracjan Polak wrote:
> Initially I spotted this possible optimization in context of monadic parser. I
> am not really sure if I need this property there or not. How do I prove this to
> myself?

How about some QuickChecking in connection with the "Chasing bottoms"
library (http://citeseer.ist.psu.edu/704350.html)?

-- 
Dr. Janis Voigtlaender
http://wwwtcs.inf.tu-dresden.de/~voigt/
mailto:voigt at tcs.inf.tu-dresden.de