This should be possible to start as a custom library. Appropriately shimming the result back into TH. Then with some experience and lessons learned we can investigate replacing TH with this new approach.
I ran across many similar issues with TH, haskell-src-exts, haskell-src-meta, etc. Levent: Would it be appropriate for us to start putting together this shim? As Simon says in (https://ghc.haskell.org/trac/ghc/ticket/11081#comment:5) we can go a long ways with a plethora of pattern synonyms. On Tue, Dec 8, 2015 at 9:51 PM, Levent Erkok <[email protected]> wrote: > I just came across https://ghc.haskell.org/trac/ghc/ticket/11081, and the > corresponding wiki-page: > https://ghc.haskell.org/trac/ghc/wiki/TemplateHaskell/Introspective > > I think this is a terrific idea. In the past, I've tried both TH and > haskell-src-exts to do relatively simple things, but ended-up abandoning > them due to the inherent complexity of source level haskell that had very > little to do with what I really cared about. Being able to get your hands > on Core at the regular Haskell level would truly simplify life, and I > suspect would open the flood-gates for a lot of people to develop extremely > cool/useful artifacts, making the GHC/Haskell experience even better. > > I hope this idea is taken further and sees the light-of-day. > > Richard: Did you have any further thoughts about possible plans? > > -Levent. > > _______________________________________________ > ghc-devs mailing list > [email protected] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > >
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
