[GHC] #8913: either bug or confusing error message mixing PolyKinds and TypeFamilies
#8913: either bug or confusing error message mixing PolyKinds and TypeFamilies -------------------------------------------+------------------------------- Reporter: ghorn | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.8.1-rc2 Keywords: PolyKinds, TypeFamilies | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- I found this when using GHC.Generics, but it has to do with TypeFamilies so here is a stand-alone example: {{{ {-# OPTIONS_GHC -Wall #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE PolyKinds #-} module Test where class GCat f where gcat :: f p -> Int cat :: (GCat (MyRep a), MyGeneric a) => a -> Int cat x = gcat (from x) class MyGeneric a where type MyRep a :: * -> * from :: a -> (MyRep a) p }}} This code gives the error message {{{ src/Dyno/Test.hs:12:9: Could not deduce (GCat (MyRep a)) arising from a use of ‘gcat’ from the context (GCat (MyRep a), MyGeneric a) bound by the type signature for cat :: (GCat (MyRep a), MyGeneric a) => a -> Int at src/Dyno/Test.hs:11:8-48 In the expression: gcat (from x) In an equation for ‘cat’: cat x = gcat (from x) Failed, modules loaded: none. }}} If this is not a bug then error message is pretty confusing because it's saying "Can't deduce (C a) from (C a)", where the message I'm used to is "Can't derive (C a) from (C a0)" or something that indicates the mismatch. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8913 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8913: either bug or confusing error message mixing PolyKinds and TypeFamilies -------------------------------------+------------------------------------- Reporter: ghorn | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.1-rc2 checker) | Keywords: PolyKinds, Resolution: | TypeFamilies Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Changes (by kosmikus): * cc: mail@… (added) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8913#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8913: either bug or confusing error message mixing PolyKinds and TypeFamilies -------------------------------------+------------------------------------- Reporter: ghorn | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.1-rc2 checker) | Keywords: PolyKinds, Resolution: | TypeFamilies Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Comment (by goldfire): With `-fprint-explicit-kinds` we see that this really looks like a proper inference bug: {{{ Could not deduce (GCat * (MyRep a)) arising from a use of ‘gcat’ from the context (GCat * (MyRep a), MyGeneric a) bound by the type signature for cat :: (GCat * (MyRep a), MyGeneric a) => a -> Int at Scratch.hs:12:8-48 In the expression: gcat (from x) In an equation for ‘cat’: cat x = gcat (from x) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8913#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8913: either bug or confusing error message mixing PolyKinds and TypeFamilies -------------------------------------+------------------------------------- Reporter: ghorn | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.1-rc2 checker) | Keywords: PolyKinds, Resolution: | TypeFamilies Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Comment (by ghorn): A workaround for this is to put the "GCat" class in its own module (without PolyKinds), and make orphan instances of it where needed (with PolyKinds). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8913#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8913: either bug or confusing error message mixing PolyKinds and TypeFamilies
-------------------------------------+-------------------------------------
Reporter: ghorn | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type | Version: 7.8.1-rc2
checker) | Keywords: PolyKinds,
Resolution: | TypeFamilies
Operating System: Unknown/Multiple | Architecture: Unknown/Multiple
Type of failure: None/Unknown | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets:
-------------------------------------+-------------------------------------
Comment (by Simon Peyton Jones
#8913: either bug or confusing error message mixing PolyKinds and TypeFamilies
-------------------------------------+-------------------------------------
Reporter: ghorn | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type | Version: 7.8.1-rc2
checker) | Keywords: PolyKinds,
Resolution: | TypeFamilies
Operating System: Unknown/Multiple | Architecture: Unknown/Multiple
Type of failure: None/Unknown | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets:
-------------------------------------+-------------------------------------
Comment (by Simon Peyton Jones
#8913: either bug or confusing error message mixing PolyKinds and TypeFamilies -------------------------------------+------------------------------------- Reporter: ghorn | Owner: Type: bug | Status: merge Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.1-rc2 checker) | Keywords: PolyKinds, Resolution: | TypeFamilies Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: indexed_types/should_compile/T8913 | Related Tickets: Blocking: | -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => merge * testcase: => indexed_types/should_compile/T8913 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8913#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8913: either bug or confusing error message mixing PolyKinds and TypeFamilies -------------------------------------+------------------------------------- Reporter: ghorn | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.1-rc2 checker) | Keywords: PolyKinds, Resolution: fixed | TypeFamilies Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: indexed_types/should_compile/T8913 | Related Tickets: Blocking: | -------------------------------------+------------------------------------- Changes (by thoughtpolice): * status: merge => closed * resolution: => fixed Comment: Merged. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8913#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC