[GHC] #1: Implicit parameters cause strange behavi

GHC ghc-devs at haskell.org
Fri Jun 15 18:58:36 UTC 2018


#1: Implicit parameters cause strange behavi
--------------------------------+--------------------
       Reporter:  nobody        |      Owner:  nobody
           Type:  bug           |     Status:  closed
       Priority:  normal        |  Milestone:
      Component:  Compiler      |    Version:  5.0
     Resolution:  Fixed         |   Keywords:
Type of failure:  None/Unknown  |
--------------------------------+--------------------

Comment (by Ben Gamari <ben@…>):

 In [changeset:"91822e4eee295a42f69489c7e9e878b296e897bc/ghc"
 91822e4e/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="91822e4eee295a42f69489c7e9e878b296e897bc"
 Add "quantified constraint" context in error message, fix #15231.

 This patch adds "quantified constraint" context in error message when
 UndecidableInstances checking fails for quantified constraints.
 See Trac #15231:comment#1.

 This patch also pretty-prints the instance head for better error messages.

 Test Plan: make test TEST="T15231"

 Reviewers: bgamari, simonpj

 Reviewed By: simonpj

 Subscribers: simonpj, rwbarton, thomie, carter

 GHC Trac Issues: #15231

 Differential Revision: https://phabricator.haskell.org/D4819
 }}}

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list