[GHC] #9636: Function with type error accepted

[GHC]

#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