Merge pull request #20 from gwils/prevent-old-ghcs
Prevent bad build plans on older GHCs by expressing dependence on TypeInType
commite368927a9d99edc190779e8d0c82a73d023a6380
authorDominic Orchard <dom.orchard@gmail.com>
dateThu 20 Dec 2018, 20:43 (8 years ago)
parent3c4d979534c07d
type-level-sets.cabal+1
@@ -80,6 +80,7 @@ source-repository head
8080
8181library
8282 hs-source-dirs: src
83+ other-extensions: TypeInType
8384
8485
8586 exposed-modules: Data.Type.Set