#9636: Function with type error accepted -------------------------------------+------------------------------------- Reporter: augustss | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by augustss): Yes, I'd like that to be an error. And no, I don't know how to write the typing rules. I've not even thought about it. What I'd like is for the typing rules to capture the intuitively right semantics. If my intuition is wrong, or if that's impossible then I'll have to accept a compromise, of course. Do we agree that `T Bool` is a weird beast that has no meaning? Or do you think it is a real type? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9636#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler