Skip to content
Snippets Groups Projects
Commit f0b0b80a authored by Ben Gamari's avatar Ben Gamari :turtle:
Browse files

Adapt to simplifed subsumption proposal

Cabal's `IO a = HasCallStack => IO a` type synonym causes quite some
trouble under the [simplified subsumption proposal][1]. Fix these cases
by eta-expanding or adding type signatures where necessary.

[1]: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst
parent 1573dc97
No related branches found
No related tags found
Loading
Showing
with 103 additions and 72 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment