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