[GHC] #15116: GHC internal error when GADT return type mentions its own constructor name
GHC
ghc-devs at haskell.org
Thu May 3 17:34:41 UTC 2018
#15116: GHC internal error when GADT return type mentions its own constructor name
-------------------------------------+-------------------------------------
Reporter: RyanGlScott | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone: 8.6.1
Component: Compiler (Type | Version: 8.5
checker) | Keywords: GADTs,
Resolution: | TypeInType
Operating System: Unknown/Multiple | Architecture:
Type of failure: Compile-time | Unknown/Multiple
crash or panic | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Changes (by RyanGlScott):
* cc: goldfire (added)
Comment:
Commit faec8d358985e5d0bf363bd96f23fe76c9e281f7 (`Track type variable
scope more carefully.`) caused this, although it's not obvious to me from
a quick glance why this would be the case...
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15116#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list