[GHC] #3692: Bogus type error message in type with constraints after the arrow

[GHC]

#3692: Bogus type error message in type with constraints after the arrow
---------------------------------------------+------------------------------
  Reporter:  cdfh                            |          Owner:                         
      Type:  bug                             |         Status:  closed                 
  Priority:  normal                          |      Milestone:  7.0.1                  
 Component:  Compiler                        |        Version:  6.12.1                 
Resolution:  fixed                           |       Keywords:  TcTyFuns PredType panic
  Testcase:  typecheck/should_compile/T3692  |      Blockedby:                         
Difficulty:                                  |             Os:  Linux                  
  Blocking:                                  |   Architecture:  x86_64 (amd64)         
   Failure:  Compile-time crash              |  
---------------------------------------------+------------------------------
Changes (by simonpj):

  * status:  new => closed
  * testcase:  => typecheck/should_compile/T3692
  * resolution:  => fixed


Comment:

 Happily this module compiles fine with the new typechecker.  I'll add it
 as a regression test.

 Simon

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