[Haskell-cafe] Read instance for GATD
stephen.tetley at gmail.com
Fri Jun 25 13:08:47 EDT 2010
I think Oleg Kiselyov is parsing / reading into a GADT here:
See the section - Metatypechecking: Staged Typed Compilation into GADT
His solution requires quite a bit of machinery - Template Haskell, a
TypeCheck type class...
More information about the Haskell-Cafe