Since proposal 287 GHC is fussier about `forall`

haskellari / some

Existential type.

BSD 3-Clause "New" or "Revised" License

36 stars 13 forks source link

Closed vdukhovni closed 3 years ago

vdukhovni commented 4 years ago

See:

https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst

The type of getGReadResult no longer matches the type of withSome in GHC-head.

phadej commented 4 years ago

I'll wait until GHC-8.12 alpha is cut before adopting to it.

phadej commented 3 years ago

I forgot about this and fixed in other commit. Thanks anyway!

phadej commented 3 years ago