#8707: Kind inference fails in data instance definition -------------------------------------+------------------------------------ Reporter: goldfire | Owner: jstolarek Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by simonpj): Jan, this is one of the gnarliest bits of the type checker, and I caution against committing too many days of your life to it. I think that #8832 might be a better investment of your valuable time; as would anything that helps cure the Windows seg-faults that are blocking the 7.8 release (eg #8870, #8834). But yes "type patterns" means the type arguments of the data instance. The two pases are one to do kind checking, and then a second to generate the actual type constructors. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8707#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler