• Simon Peyton Jones's avatar
    Allow unpacking of single-data-con GADTs · 9187d5fb
    Simon Peyton Jones authored
    Trac #14978 pointed out that single-constructor GADTs should be
    unpackable without trouble.
    
    Acutally I realise that even existentials should be unpackable
    too, but that's a bit more work, so it's not part of this patch.
    
    See Note [Unpacking GADTs and existentials] in MkId.
    9187d5fb
T14978.hs 189 Bytes