#12120: GHC accepts invalid Haskell: `class Eq (a Int) => C a where` -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: report-impact Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): Yes, as mentioned in #12121, I think this is a bug in GHC. Fixing it will probably mean that some working programs break, which will make people upset. Maybe we should just document it as a bug that we don't propose to fix? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12120#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler