base: Enable TypeInType in Data.Type.Equality
authorBen Gamari <ben@smart-cactus.org>
Fri, 15 Sep 2017 22:57:43 +0000 (18:57 -0400)
committerBen Gamari <ben@smart-cactus.org>
Sat, 16 Sep 2017 13:34:23 +0000 (09:34 -0400)
commitb09917143afe837d717feeaf97b699bcc9e016cd
tree21c624a0734a7ca5a343a9dba04c5212ae11cce5
parent47a9ec7b29fb4de70ba6d89a91a5c5e5034feb17
base: Enable TypeInType in Data.Type.Equality

Otherwise compilation fails with,

    libraries/base/Data/Type/Equality.hs:145:4: error:
        • Data constructor ‘HRefl’ constrains the choice of kind parameter:
            k2 ~ k2
          Use TypeInType to allow this
        • In the definition of data constructor ‘HRefl’
          In the data type declaration for ‘:~~:’
        |
    145 |    HRefl :: a :~~: a
        |    ^
libraries/base/Data/Type/Equality.hs