Skip to content

singletons broken by Quick Look

head.hackage suggests that singletons no longer builds with master.

src/Data/Singletons/Sigma.hs:61:10: error:
    * Expected kind `k0',
        but `Sigma' has kind `forall s -> (s ~> *) -> *'
      Cannot instantiate unification variable `k0'
      with a kind involving polytypes: forall s -> (s ~> *) -> *
    * In the type `Sigma'
      In the type declaration for `?'
   |
61 | type ? = Sigma
   |          ^^^^^
cabal: Failed to build singletons-2.6 (which is required by
test-singletons-1.0). See the build log above for details.

This change seems to be correlated with the merge of Quick Look.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information