• 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.
MkId.hs 60.2 KB