#14040: Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY[sk:2] -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 8.0.2 checker) | Keywords: TypeInType, Resolution: | TypeFamilies, PartialTypeSignatures Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: #13877 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ryan Scott <ryan.gl.scott@…>): In [changeset:"be1ca0e439e9d26107c7d82fe6e78b64ee6320a9/ghc" be1ca0e4/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="be1ca0e439e9d26107c7d82fe6e78b64ee6320a9" Add regression test for #14040 This adds a regression test for the original program in #14040. This does not fix #14040 entirely, though, as the program in https://ghc.haskell.org/trac/ghc/ticket/14040#comment:2 still panics, so there is more work to be done there. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14040#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler