Re: General pattern bindings

2007-04-16 Thread Malcolm Wallace
Twan van Laarhoven <[EMAIL PROTECTED]> wrote: > > The general form of a pattern binding is p match, where a match is > > the same structure as for function bindings above; in other words, > > a pattern binding is: > > > > p | g1= e1 > >| g2= e2 > >... > >| gm= em >

Re: General pattern bindings

2007-04-15 Thread Bulat Ziganshin
Hello Twan, Saturday, April 14, 2007, 5:43:03 AM, you wrote: > I did not even know these things existed, is there anyone who actually > uses general pattern bindings? b:kb:mb:gb:_ = iterate (1024*) 1 unfortunately, they got monotypes, so at last end i finished with simpler definitions neverthe

Re: General pattern bindings

2007-04-14 Thread Neil Mitchell
Hi Twan, > In the interest of removing things from the standard, I found this in > the Haskell 98 report (section 4.4.3.2): Great idea to remove things, but keep your hands off extended pattern guards! I've got at least 3 instances of that in the module that is currently open on my screen. I'v

Re: General pattern bindings

2007-04-13 Thread Stefan O'Rear
On Sat, Apr 14, 2007 at 03:43:03AM +0200, Twan van Laarhoven wrote: > In the interest of removing things from the standard, I found this in > the Haskell 98 report (section 4.4.3.2): > > > The general form of a pattern binding is p match, where a match is the > > same structure as for function bi