Hi, just an idea that crossed my mind: Can we do without the worker/wrapper dance for data constructors if we instead phrase that in terms of pattern synonyms? Maybe that's a refactoring/code consolidation opportunity.
Good night, Joachim Am 1. September 2015 10:23:35 PDT, schrieb Johan Tibell <johan.tib...@gmail.com>: >I have a draft design for unpacking sum types that I'd like some >feedback >on. In particular feedback both on: > > * the writing and clarity of the proposal and > * the proposal itself. > >https://ghc.haskell.org/trac/ghc/wiki/UnpackedSumTypes > >-- Johan > > >------------------------------------------------------------------------ > >_______________________________________________ >ghc-devs mailing list >ghc-devs@haskell.org >http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs