#13603: Can't resolve levity polymorphic superclass -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: 8.2.1 Component: Compiler | Version: 8.0.1 Resolution: | Keywords: | LevityPolymorphism, TypeInType Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3489 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ryan Scott <ryan.gl.scott@…>): In [changeset:"ab27fdcfe26759f3e4cd7e2105e7e7e83e269e48/ghc" ab27fdcf/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="ab27fdcfe26759f3e4cd7e2105e7e7e83e269e48" Add regression test for #13603 Summary: Commit b207b536ded40156f9adb168565ca78e1eef2c74 (#11714) happened to fix #13603 as well. Let's add a regression test so that it stays fixed. Test Plan: make test TEST=T13603 Reviewers: bgamari, austin, simonpj Reviewed By: bgamari, simonpj Subscribers: simonpj, rwbarton, thomie GHC Trac Issues: #13603 Differential Revision: https://phabricator.haskell.org/D3489 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13603#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler