Changes between Initial Version and Version 1 of Ticket #9793, comment 13


Ignore:
Timestamp:
Feb 25, 2018 12:22:39 AM (22 months ago)
Author:
typedrat
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9793, comment 13

    initial v1  
    1 I'm running up against this right now, and while the idea of contributing to GHC (especially with what may be a non-trivial first submitted change) is daunting, I'd be happy to at least try and do it if a design is decided on.
     1I'm running up against this right now, and while the idea of contributing to GHC (especially with what may be an extremely non-trivial first submitted change) is daunting, I'd be happy to at least try and do it if a design is decided on.
    22
    33Generally, my use case is trying to fake impredicative types in the specific application of GADT phantom types, and being able to just erase the existential wrapper from view and make it look like perfectly normal pattern matching when it's actually being taken apart would make it "feel" a lot nicer, in my opinion.