Changes between Initial Version and Version 1 of Ticket #8541, comment 1


Ignore:
Timestamp:
Nov 19, 2013 10:57:43 PM (16 months ago)
Author:
hvr
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #8541, comment 1

    initial v1  
    1 Indeed straight forward, see 8959c69104eb032b75ec94dcf9cda3edd2b46423 (ghc) and bbfaff2fa89b21bee058af7e6e6ddd66524524d0 (testsuite); currently on the branch wip/T8541 (I wonder why they were not auto-linked – is that only working for master?). 
     1Indeed straight forward, see 8959c69104eb032b75ec94dcf9cda3edd2b46423 (ghc) and [bbfaff2fa89b21bee058af7e6e6ddd66524524d0/testsuite]; currently on the branch wip/T8541 (I wonder why they were not auto-linked – is that only working for master?). 
    22 
    33The code did not check saturation of type constructors, so it worked out of the box for the positive examples from here. So let’s see what happens with the negative ones...