[GHC] #7748: Runtime <<loop>> due to incorrect inferred type

[GHC]

#7748: Runtime <<loop>> due to incorrect inferred type
-----------------------------------------------------------------------+----
  Reporter:  jbransen                                                  |          Owner:                  
      Type:  bug                                                       |         Status:  closed          
  Priority:  normal                                                    |      Milestone:                  
 Component:  Compiler (Type checker)                                   |        Version:  7.6.2           
Resolution:  fixed                                                     |       Keywords:                  
        Os:  Unknown/Multiple                                          |   Architecture:  Unknown/Multiple
   Failure:  GHC accepts invalid program                               |     Difficulty:  Unknown         
  Testcase:  typecheck/should_fail/T7748a, typecheck/should_run/T7748  |      Blockedby:                  
  Blocking:                                                            |        Related:                  
-----------------------------------------------------------------------+----

Comment(by maeder):

 I've attached a run of

 {{{
 #!/bin/bash -x

 ghc --version
 svn up
 svn st -q
 svn up -r 17856 Proofs/AbstractState.hs
 cabal clean
 cabal install -f "-programatica -server -gtkglade -haskeline -tar -hexpat"
 which hets
 hets ../Hets-lib/Datatypes.hpf

 export PATH=/local/maeder/ghc-7.6/bin:$PATH
 ghc-pkg list
 cabal install -f "-programatica -server -gtkglade -haskeline -tar -hexpat"
 hets ../Hets-lib/Datatypes.hpf
 }}}

 where /local/maeder/ghc-7.6 contains a local installation of
 ghc-7.6.2.20130416

 The <<loop>> only happens with ghc-7.6.2

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