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

5 Jan 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 ):

 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