> 3. Manuel points out > > I must say that I'm strongly tempted to disallow empty qualifiers > and make n>=1. I'm not sure how this change crept in in the first > place. Does anyone care? Urgle. The report is in a bit of a mess here. The top of section 3 (the summary of exp syntax) also has n>=1. App B4 has n>=0. The translation box in 3.11 clearly defines [e | ] as e, but does not define [e | ,Q] (which should presumably be [e|Q]), or [e|q] where q is a single qualifier. This originates with H98. H1.4 (which was actually defining monad comprehensions) had n>=1 and no empty qualifiers, as did earlier versions. I would be happy to revert. --brian
- Re: Haskell 98: partition; and take,drop,splitAt Jan-Willem Maessen
- RE: Haskell 98: partition; and take,drop,splitAt Simon Peyton-Jones
- RE: Haskell 98: partition; and take,drop,splitAt Ch. A. Herrmann
- RE: Haskell 98: partition; and take,drop,splitAt Simon Peyton-Jones
- RE: Haskell 98: partition; and take,drop,splitAt Koen Claessen
- RE: Haskell 98: partition; and take,drop,splitAt Simon Peyton-Jones
- FW: Haskell 98: partition; and take,drop,splitAt Simon Peyton-Jones
- Re: FW: Haskell 98: partition; and take,drop,split... Fergus Henderson
- Re: FW: Haskell 98: partition; and take,drop,s... George Russell
- Re: FW: Haskell 98: partition; and take,dr... Fergus Henderson
- Re: Haskell 98: partition; and take,drop,splitAt Brian Boutel
- Re: Haskell 98: partition; and take,drop,splitAt Malcolm Wallace
- Re: Haskell 98: partition; and take,drop,splitAt Fergus Henderson