#12762: ASSERT failures on HEAD following typechecker refactoring -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"1221f8104bb5123c18bd5b840cde9ab2e71247d5/ghc" 1221f81/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="1221f8104bb5123c18bd5b840cde9ab2e71247d5" Don't instantaite when typechecking a pattern synonym Fixes most of the cases in Trac #12762 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12762#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler