[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 simonpj):

 It is a weird beast.  But I have learned, painfully, that not being able
 to write down typing judgements is a Bad Sign.  It suggests that we don't
 know exactly which programs should be erroneous and which should be OK.
 And if we don't know, it's hard to explain to the user which programs are
 ok and which are not.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9636#comment:10>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler