Re: [GHC] #5769: Incorrect error message when compiling with PolyKinds and a type family
#5769: Incorrect error message when compiling with PolyKinds and a type family
+---
Reporter: goldfire | Owner: dreixel
Type: bug| Status: closed
Priority: high | Milestone: 7.6.1
Component: Compiler (Type checker)|Version: 7.4.1-rc1
Resolution: fixed | Keywords: PolyKinds
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC rejects valid program | Difficulty: Unknown
Testcase: polykinds/T5770| Blockedby:
Blocking: |Related: #5717
+---
Changes (by simonpj):
* status: new = closed
* testcase: = polykinds/T5770
* resolution: = fixed
Comment:
Fixed by the massive polykinds patch
{{{
commit 3bf54e78cfd4b94756e3f21c00ae187f80c3341d
Author: Simon Peyton Jones simo...@microsoft.com
Date: Fri Mar 2 16:32:58 2012 +
Hurrah! This major commit adds support for scoped kind variables,
which (finally) fills out the functionality of polymorphic kinds.
It also fixes numerous bugs.
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5769#comment:6
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #5769: Incorrect error message when compiling with PolyKinds and a type family
#5769: Incorrect error message when compiling with PolyKinds and a type family +--- Reporter: goldfire | Owner: dreixel Type: bug | Status: new Priority: high | Milestone: 7.6.1 Component: Compiler (Type checker) | Version: 7.4.1-rc1 Keywords: PolyKinds| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC rejects valid program Difficulty: Unknown |Testcase: Blockedby: |Blocking: Related: #5717| +--- Changes (by simonpj): * milestone: 7.4.2 = 7.6.1 Comment: Moving to 7.6.1; !PolyKinds is not advertised as working in 7.4, and merging fixes will be too destablising. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5769#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #5769: Incorrect error message when compiling with PolyKinds and a type family
#5769: Incorrect error message when compiling with PolyKinds and a type family +--- Reporter: goldfire | Owner: dreixel Type: bug | Status: new Priority: high | Milestone: 7.4.1 Component: Compiler (Type checker) | Version: 7.4.1-rc1 Keywords: PolyKinds| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC rejects valid program Difficulty: Unknown |Testcase: Blockedby: |Blocking: Related: #5717| +--- Changes (by dreixel): * related: = #5717 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5769#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #5769: Incorrect error message when compiling with PolyKinds and a type family
#5769: Incorrect error message when compiling with PolyKinds and a type family +--- Reporter: goldfire | Owner: dreixel Type: bug | Status: new Priority: high | Milestone: 7.4.1 Component: Compiler (Type checker) | Version: 7.4.1-rc1 Keywords: PolyKinds| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC rejects valid program Difficulty: Unknown |Testcase: Blockedby: |Blocking: Related: | +--- Changes (by igloo): * owner: = dreixel * difficulty: = Unknown * priority: normal = high * milestone: = 7.4.1 Comment: Thanks for the report. dreixel, if this is easy to fix we may as well get it into 7.4.1, although it's not actually a regression as PolyKinds is new. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5769#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #5769: Incorrect error message when compiling with PolyKinds and a type family
#5769: Incorrect error message when compiling with PolyKinds and a type family
--+-
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal| Component: Compiler (Type checker)
Version: 7.4.1-rc1 | Keywords: PolyKinds
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Testcase:
Blockedby:| Blocking:
Related:|
--+-
When trying to compile
{{{
{-# LANGUAGE TypeFamilies,
PolyKinds,
ScopedTypeVariables
#-}
convert :: a - b
convert = undefined
type family Foo a
bar :: forall b a. b - (Foo a)
bar f = (convert f :: (Foo a))
}}}
I get the following error message:
{{{
Sandbox.hs:12:10:
Couldn't match type `Foo k a' with `Foo * b'
NB: `Foo' is a type function, and may not be injective
In the expression: (convert f :: Foo a)
In an equation for `bar': bar f = (convert f :: Foo a)
}}}
However, this compiles just fine without {{{PolyKinds}}}.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5769
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #5769: Incorrect error message when compiling with PolyKinds and a type family
#5769: Incorrect error message when compiling with PolyKinds and a type family ---+ Reporter: goldfire | Owner: Type: bug| Status: new Priority: normal | Component: Compiler (Type checker) Version: 7.4.1-rc1 | Keywords: PolyKinds Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC rejects valid program | Testcase: Blockedby: | Blocking: Related: | ---+ Changes (by goldfire): * failure: None/Unknown = GHC rejects valid program -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5769#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
