[GHC] #11347: No skolem info: b_azg[sk]

GHC ghc-devs at haskell.org
Tue Jan 5 09:56:41 UTC 2016


#11347: No skolem info: b_azg[sk]
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  7.11
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #10946, #10045    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Joachim Breitner <mail@…>):

 In [changeset:"1a8b752d8b03266aca3e83f79c311056d6c43e00/ghc" 1a8b752/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="1a8b752d8b03266aca3e83f79c311056d6c43e00"
 Add (failing) test case for #11347

 Unfortunately, I could not add the expected error message, so if someone
 accidentally fixes this bug, this test will still be failing (no harm).
 But maybe someone stumbles over it then and can update the expected
 output.
 }}}

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


More information about the ghc-tickets mailing list