Changes between Initial Version and Version 1 of Ticket #1797


Ignore:
Timestamp:
Oct 24, 2007 1:19:31 PM (6 years ago)
Author:
simonpj
Comment:

Definitely a bug; similar to #1795.

Question: all instances of this bug seem to be for programs that should be rejected. Are there any examples of divergence on programs that should be accepted?

Meanwhile, will think about a fix. I agree this is a serious regression.

Simon

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #1797 – Description

    initial v1  
    1 The following code (similar to one of HList’s generic type equality tests) causes GHC to loop forever (or at least very long) with GHC 6.8.0.20071020 on i386-unknown-mingw32 and GHC 6.8.0.20071019 on i386-unknown-linux: 
     1The following code (similar to one of HList’s generic type equality tests) causes GHC to loop forever (or at least very long) with GHC 6.8.0.20071020 on i386-unknown-mingw32 and GHC 6.8.0.20071019 on i386-unknown-linux: 
    22{{{ 
    33{-# LANGUAGE