Changes between Version 52 and Version 53 of StrawPoll-1


Ignore:
Timestamp:
Mar 27, 2006 9:43:29 PM (8 years ago)
Author:
sweirich@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-1

    v52 v53  
    3535||    ||    ||    || Y  || Y  || Y  || Y  || Y  ||    ||    || Y  ||  Y  ||    || Y  ||     ||  Y ||  Y || #26    || add ExistentialQuantification (existential components) 
    3636||    ||    ||    ||    ||  Y || Y  ||    || Y  ||    ||    || Y  ||     ||    ||    ||     ||    ||  N || #85    || more liberal kind inference 
    37 ||    ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||    ||    ||     ||    || Y  ||     ||  N ||    || #70    || allow TypeSynonymInstances 
     37||    ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||    ||    ||     ||    || Y  ||     ||  N ||  Y  || #70    || allow TypeSynonymInstances 
    3838||    ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||    || Y  || Y   ||    || Y  ||     ||    ||  Y || #65    || Relax Dependency Analysis 
    3939||    ||    ||    ||    ||    || Y  ||    || N  ||    ||    || Y  ||  Y  ||    ||    ||     ||    ||    || #39    || add ImpreciseExceptions