[GHC] #11371: Bogus in-scope set in substitutions
GHC
ghc-devs at haskell.org
Thu Feb 18 11:35:34 UTC 2016
#11371: Bogus in-scope set in substitutions
-------------------------------------+-------------------------------------
Reporter: simonpj | Owner: niteria
Type: bug | Status: new
Priority: high | Milestone: 8.2.1
Component: Compiler | Version: 7.10.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: #11360 | Differential Rev(s): phab:D1792,
Wiki Page: | phab:D1801, phab:D1802
-------------------------------------+-------------------------------------
Comment (by simonpj):
Re the tyvar case, what if tv is not in the substitution? `substTyVar`
will return the same tyvar and we'll get an infinite loop.
I'll push shortly.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11371#comment:48>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list