Nested pattern binding translates to outermost binding?
stefanor at cox.net
Fri Jul 6 21:35:15 EDT 2007
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).
More information about the Haskell-prime