Re: [GHC] #2193: Monomorphic Pattern Bindings and Error Messages
#2193: Monomorphic Pattern Bindings and Error Messages ---+ Reporter: sclv | Owner: simonpj Type: bug | Status: closed Priority: normal| Milestone: 7.0.1 Component: Compiler |Version: 6.8.2 Resolution: fixed | Keywords: Testcase: boxy/T2193| Blockedby: Difficulty: Unknown | Os: Unknown/Multiple Blocking:| Architecture: Unknown/Multiple Failure: None/Unknown | ---+ Changes (by simonpj): * status: new = closed * testcase: = boxy/T2193 * resolution: = fixed Comment: This works with GHC 7.0. Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2193#comment:9 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] #2193: Monomorphic Pattern Bindings and Error Messages
#2193: Monomorphic Pattern Bindings and Error Messages ---+ Reporter: sclv | Owner: simonpj Type: bug | Status: new Priority: normal| Milestone: 6.14.1 Component: Compiler |Version: 6.8.2 Resolution:| Keywords: Difficulty: Unknown | Os: Unknown/Multiple Testcase:| Architecture: Unknown/Multiple Failure: None/Unknown | ---+ Changes (by igloo): * failure: = None/Unknown * milestone: 6.12.1 = 6.14.1 Comment: Still happens with 6.12. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2193#comment:8 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] #2193: Monomorphic Pattern Bindings and Error Messages
#2193: Monomorphic Pattern Bindings and Error Messages -+-- Reporter: sclv |Owner: simonpj Type: bug | Status: new Priority: normal|Milestone: 6.12.1 Component: Compiler | Version: 6.8.2 Severity: normal| Resolution: Keywords:| Difficulty: Unknown Testcase:| Os: Unknown/Multiple Architecture: Unknown/Multiple | -+-- Changes (by igloo): * owner: igloo = simonpj * milestone: 6.10.2 = 6.12.1 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2193#comment:7 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] #2193: Monomorphic Pattern Bindings and Error Messages
#2193: Monomorphic Pattern Bindings and Error Messages
-+--
Reporter: sclv |Owner: igloo
Type: bug | Status: new
Priority: normal|Milestone: 6.10.2
Component: Compiler | Version: 6.8.2
Severity: normal| Resolution:
Keywords:| Difficulty: Unknown
Testcase:| Os: Unknown/Multiple
Architecture: Unknown/Multiple |
-+--
Changes (by simonpj):
* owner: = igloo
Comment:
The HEAD now correctly says
{{{
T2193.hs:9:0:
Illegal polymorphic or qualified type: forall s. s
Perhaps you intended to use -XImpredicativeTypes
In the type signature for `bar':
bar :: a - Foo (forall s. s) a
}}}
If you add `-XImpredicativeTypes` then we indeed get the (silly) error
message described in the original bug report, but I'm not going to fiddle
with that now, because Dimitrios and I are (still) planning to rejig the
entire implementation of impredicative types.
So let's leave this open for that reason.
IAN: I hope 6.10.2 also reports the above `Illegal polymorphic...` error.
Can you check, and then bump the milestone to 6.12 and assign it to me?
Simon
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2193#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] #2193: Monomorphic Pattern Bindings and Error Messages
#2193: Monomorphic Pattern Bindings and Error Messages --+- Reporter: sclv | Owner: Type: bug | Status: new Priority: normal| Milestone: 6.10.2 Component: Compiler |Version: 6.8.2 Severity: normal| Resolution: Keywords:| Difficulty: Unknown Testcase:| Architecture: Unknown/Multiple Os: Unknown/Multiple | --+- Changes (by igloo): * milestone: 6.10.1 = 6.10.2 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2193#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] #2193: Monomorphic Pattern Bindings and Error Messages
#2193: Monomorphic Pattern Bindings and Error Messages --+- Reporter: sclv | Owner: Type: bug | Status: new Priority: normal| Milestone: 6.10.1 Component: Compiler |Version: 6.8.2 Severity: normal| Resolution: Keywords:| Difficulty: Unknown Testcase:| Architecture: Multiple Os: Multiple | --+- Changes (by igloo): * milestone: 6.8.3 = 6.10.1 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2193#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
