Nested pattern binding translates to outermost binding?

[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 identical?

No, Core is much lower level.  It does not have guards, where-blocks,
list comprehensions, type classes, etc; everything is reduced to simple
pattern bindings, lambdas, lets, applications, and unboxed literals.

> Can one / does anyone use Core as a target for experimental toy languages? 
> Aside from the "moving target" caveats...

Apparently not, since GHC's support for *reading* core has been broken
since the 6.0 days with nary a complaint.  (Aaron Tomb and Tim Chevalier
are currently working on fixing it).

Stefan