Re: [GHC] #14488: Can't define a lens for a field with a constraint

22 Nov 2017

      #14488: Can't define a lens for a field with a constraint
-------------------------------------+-------------------------------------
        Reporter:  int-index         |                Owner:  (none)
            Type:  bug               |               Status:  patch
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  8.0.2
  checker)                           |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  GHC rejects       |            Test Case:
  valid program                      |  typecheck/should_compile/T14488
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D4213
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Ben Gamari ):

 In [changeset:"0db4627b8baf3255cf16725f8acdd69e27f0ab85/ghc" 0db4627/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="0db4627b8baf3255cf16725f8acdd69e27f0ab85"
 Test Trac #14488

 Summary:
 The refactoring in 3f5673f34a2f761423027bf46f64f7499708725f also fixed a
 previously unreported issue in the typechecker that prevented defining a
 lens to a record field with a constraint. This patch adds a regression
 test.

 Test Plan: make test TEST=14488

 Reviewers: bgamari

 Reviewed By: bgamari

 Subscribers: int-e, rwbarton, thomie

 GHC Trac Issues: #14488

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

-- 
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14488#comment:5
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler