#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