#10072: Panic: generalised wildcards in RULES -------------------------------------+------------------------------------- Reporter: thomasw | Owner: thomasw Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.10.1-rc2 checker) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: Compile-time | Test Case: crash | Blocking: Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"5ab7518f28e89515c73ff09acd48b5acab48b8a5/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="5ab7518f28e89515c73ff09acd48b5acab48b8a5" Improve typechecking of RULEs, to account for type wildcard holes This fixes Trac #10072. Previously the type-hole constraint was escaping to top level, but it belongs in the scope of the skolems bound by the RULE. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10072#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler