RE: Nested pattern binding translates to outermost binding?

2007-07-09 Thread Simon Peyton-Jones
In the section "Changes to the Report" of the Wiki page you refer to http://hackage.haskell.org/trac/haskell-prime/wiki/BangPatterns I attempted to give the semantics of bang-patterns by saying what changes would be needed in the Haskell Report. If you think it's incomplete or ambiguous,

Re: Nested pattern binding translates to outermost binding?

2007-07-06 Thread Stefan O'Rear
On Fri, Jul 06, 2007 at 06:20:45PM -0700, Dave Bayer wrote: > On Jul 6, 2007, at 1:46 PM, Stefan O'Rear wrote: > >> You could have just used -ddump-ds... Core is way more readable than >> GHC assembly. > > Great suggestion! > > Core looks familiar from playing with template Haskell, is it identica

Re: Nested pattern binding translates to outermost binding?

2007-07-06 Thread Dave Bayer
On Jul 6, 2007, at 1:46 PM, Stefan O'Rear wrote: You could have just used -ddump-ds... Core is way more readable than GHC assembly. Great suggestion! Core looks familiar from playing with template Haskell, is it identical? Can one / does anyone use Core as a target for experimental toy la

Re: Nested pattern binding translates to outermost binding?

2007-07-06 Thread Stefan O'Rear
On Fri, Jul 06, 2007 at 12:08:01PM -0700, Dan Weston wrote: > From Haskell' ticket #76: > http://hackage.haskell.org/trac/haskell-prime/wiki/BangPatterns > > > The main idea is to add a single new production to the syntax > > of patterns > > pat ::= !pat > > Experiments (ghci -fbang-patterns -O