Changes between Version 40 and Version 41 of StrawPoll-1


Ignore:
Timestamp:
Mar 27, 2006 10:45:43 AM (8 years ago)
Author:
simonpj@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-1

    v40 v41  
    8282||    ||    ||    ||    ||    ||    || M  ||    ||    ||    ||    ||   M  ||    ||    ||     ||    ||    || #88    || unified and extensible annotations 
    8383||    ||    ||    ||    ||    ||    || N  || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #19    || control export and import of class instances 
    84 ||    ||    ||    ||    ||    ||    || Y  ||    ||    ||    ||    ||     ||    ||    ||     ||    ||    || #17    || relax restriction on signatures of class methods 
     84||    ||    ||    ||    ||    ||    || Y  ||    ||    ||    ||    ||   Y  ||    ||    ||     ||    ||    || #17    || relax restriction on signatures of class methods 
    8585||    ||    ||    ||    ||    || Y  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||    ||    || #68    || Eliminate tabs 
    8686||    ||    ||    ||    ||    || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #64    || add recursive do syntax 
    87 ||    ||    ||    ||    ||    || Y  || N  || N  ||    ||    || N  ||     ||    || Y  ||     ||  N ||    || #37    || add GADTs 
    88 ||    ||    ||    ||    ||    || N  || N  || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #73    || add views 
    89 ||    ||    ||    ||  Y ||    || M  ||    ||    ||    ||    ||    ||     ||    ||    ||     ||  N ||    || #71    || Allow Undecidable Instances 
    90 ||    ||    ||    ||    ||    ||    ||    || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #54    || add overlapping or incoherent instances 
    91 ||    ||    ||    ||    ||    || N  || N  || N  ||    ||    || N  ||     ||    || N  ||     ||  N ||    || #43    || add Linear implicit params 
     87||    ||    ||    ||    ||    || Y  || N  || N  ||    ||    || N  ||   Y  ||    || Y  ||     ||  N ||    || #37    || add GADTs 
     88||    ||    ||    ||    ||    || N  || N  || N  ||    ||    || N  ||   M  ||    ||    ||     ||  N ||    || #73    || add views 
     89||    ||    ||    ||  Y ||    || M  ||    ||    ||    ||    ||    ||   N  ||    ||    ||     ||  N ||    || #71    || Allow Undecidable Instances 
     90||    ||    ||    ||    ||    ||    ||    || N  ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||    || #54    || add overlapping or incoherent instances 
     91||    ||    ||    ||    ||    || N  || N  || N  ||    ||    || N  ||   N  ||    || N  ||     ||  N ||    || #43    || add Linear implicit params 
    9292||    ||    ||    ||    ||    || N  || N  ||    ||    ||    ||    ||     ||    ||    ||     ||  M ||    || #36    || add FunctionalDependencies 
    9393||    ||    ||    ||    ||    || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #77    || add MultiWayIf