Changes between Initial Version and Version 1 of Ticket #11246


Ignore:
Timestamp:
Dec 17, 2015 8:25:14 PM (4 years ago)
Author:
mpickering
Comment:

Omer comments that the bug could be caused by levity polymorphism.

mpickering: I don't quite understand what changes need to be made, but if you look at anyTyCon in TysPrim.hs you'll see that it's not updated after Richard's patch. I'm just guessing that this may be the reason because tuple tycons are changed to update the kind arguments, for example.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11246 – Description

    initial v1  
    99produces the error message on HEAD but compiles on 7.8.3 and 7.10.1 (thanks to Reid for testing).
    1010
    11 {{{unsafeany.hs:5:1: error:
     11{{{
     12unsafeany.hs:5:1: error:
    1213    • The type family ‘Any’ should have no arguments, but has been given none
    1314    • In the type synonym declaration for ‘Key’