[GHC] #3692: Bogus type error message in type with constraints after the arrow (was: TcTyFuns.flattenType: unexpected PredType)

[GHC]

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

  * status:  closed => reopened
  * resolution:  fixed =>
  * version:  6.10.4 => 6.12.1
  * milestone:  => 6.14 branch


Comment:

 The error message is totally bogus.  I'll fix this in my constraint-
 solving sweep.

 Simon

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