[GHC] #14319: Stuck type families can lead to lousy error messages
GHC
ghc-devs at haskell.org
Fri Oct 6 03:02:20 UTC 2017
#14319: Stuck type families can lead to lousy error messages
-------------------------------------+-------------------------------------
Reporter: dfeuer | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone: 8.4.1
Component: Compiler (Type | Version: 8.3
checker) | Keywords: TypeInType,
Resolution: | TypeFamilies
Operating System: Unknown/Multiple | Architecture:
Type of failure: Poor/confusing | Unknown/Multiple
error message | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by dfeuer):
How hard would it be to report an arity error only when we know the arity
is wrong? And how often do we not know for sure? I don't want erosion of
the common case either, but I don't see why it would be likely here.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14319#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list