#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 jstolarek): Replying to [comment:4 simonpj]:
Jan, how did you manage to get GHC to produce this? {{{ Data constructor `SFalse' returns type `SingDF Bool k ('(,) Bool (k -> *) 'False (Ctor k))' }}} That does look wrong. Can you explain how to reproduce it? That is part of error message produced by GHC 7.6.3. As for this output:
{{{ Data constructor ‘SFalse’ returns type ‘SingDF Bool k '(Bool, k -> *, 'False, Ctor k)’ }}} I made a quick hack in `pprTcApp` and replaced `ty_args = drop arity tys` with `ty_args = tys`. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8707#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler