Changes between Version 20 and Version 21 of StrawPoll-1


Ignore:
Timestamp:
Mar 25, 2006 11:11:58 AM (8 years ago)
Author:
loeh@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-1

    v20 v21  
    3232||    ||    ||    ||    ||    || Y  ||    || Y  ||    ||    || Y  ||     ||    ||    ||     ||    ||    || #57    || add polymorphic components 
    3333||    ||    ||    ||  Y ||    || Y  ||    || Y  ||    ||    || Y  ||     ||    ||    ||     ||    ||    || #26    || add ExistentialQuantification (existential components) 
    34 ||    ||    ||    ||    ||    ||    ||    || Y  ||    ||    || Y  ||     ||    ||    ||     ||    ||    || #85    || more liberal kind inference 
    35 ||    ||    ||    ||    ||    ||    ||    || Y  ||    ||    ||    ||     ||    ||    ||     ||    ||    || #70    || allow TypeSynonymInstances 
     34||    ||    ||    ||    ||    || Y  ||    || Y  ||    ||    || Y  ||     ||    ||    ||     ||    ||    || #85    || more liberal kind inference 
     35||    ||    ||    ||    ||    || Y  ||    || Y  ||    ||    ||    ||     ||    ||    ||     ||    ||    || #70    || allow TypeSynonymInstances 
    3636||    ||    ||    ||    ||    || Y  ||    || Y  ||    ||    || Y  ||     ||    ||    ||     ||    ||    || #65    || Relax Dependency Analysis 
    3737||    ||    ||    ||    ||    ||    ||    || N  ||    ||    || Y  ||     ||    ||    ||     ||    ||    || #39    || add ImpreciseExceptions