[GHC] #9587: Type checking with type functions introduces many type variables, which remain ambiguous. The code no longer type checks.
GHC
ghc-devs at haskell.org
Tue May 5 14:59:57 UTC 2015
#9587: Type checking with type functions introduces many type variables, which
remain ambiguous. The code no longer type checks.
-------------------------------------+-------------------------------------
Reporter: oleg | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type | Version: 7.8.3
checker) | Keywords: type
Resolution: | family, ambiguity check
Operating System: Unknown/Multiple | Architecture:
Type of failure: GHC rejects | Unknown/Multiple
valid program | Test Case:
Blocked By: | Blocking:
Related Tickets: #9607 | Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by jstolarek):
Oleg, is `Arr` injective? If it is then this should by fixed by #6018,
which should be merged Real Soon Now.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9587#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list