Changes between Initial Version and Version 1 of Ticket #841


Ignore:
Timestamp:
05/13/12 17:57:36 (14 years ago)
Author:
sjamaan
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #841

    • Property Summary tuples: Many warnings (probably due to the contracts egg) → tuples and skiplists: Many warnings (probably due to the contracts egg)

  • Ticket #841 – Description

    initial v1  
    11We recently ran salmonella with the {{{-specialize}}} option (which implies the {{{-scrutinize}}} option), and it turns out that the tuples egg raises quite a few warnings when it's being compiled: http://parenteses.org/mario/misc/specialize-report/install/tuples.html
     2The skiplists egg has the same problem: http://parenteses.org/mario/misc/specialize-report/install/skiplists.html
    23
    34I attempted to track down the cause, but proved to be extremely difficult.  It looks like it's not tuples itself that's in the wrong, but its use of the contracts egg is causing the trouble.  When I compile the test suite of contracts with {{{-specialize}}} I also see a few warnings.