Changes between Version 71 and Version 72 of StrawPoll-1


Ignore:
Timestamp:
Mar 28, 2006 3:59:49 PM (8 years ago)
Author:
chak@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-1

    v71 v72  
    8484||    ||    || Y  ||    ||    ||    || Y  ||    ||    ||    ||    ||  Y  ||    ||    ||     ||    ||  Y  || #17    || relax restriction on signatures of class methods 
    8585||    ||    || N  ||    || Y  || Y  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||    ||  Y || #68    || Eliminate tabs 
    86 ||    ||    ||    ||    || N  || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #64    || add recursive do syntax 
    87 ||    ||    ||    ||    ||    || Y  || N  || N  ||    ||    || N  ||  Y  ||    || Y  ||     ||  N ||    || #37    || add GADTs 
    88 ||    ||    ||    ||    || N  || N  || N  || N  ||    ||    || N  ||  M  ||    ||    ||     ||  N ||    || #73    || add views 
     86||    ||    || Y  ||    || N  || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #64    || add recursive do syntax 
     87||    ||    || M  ||    ||    || Y  || N  || N  ||    ||    || N  ||  Y  ||    || Y  ||     ||  N ||    || #37    || add GADTs 
     88||    ||    || N  ||    || N  || N  || N  || N  ||    ||    || N  ||  M  ||    ||    ||     ||  N ||    || #73    || add views 
    8989||    ||    || N  ||  Y ||    || M  ||    ||    ||    ||    ||    ||  N  ||    ||    ||     ||  N ||    || #71    || Allow Undecidable Instances 
    9090||    ||    || N  ||    ||    ||    ||    || N  ||    ||    || N  ||  Y  ||    ||    ||     ||  N ||  N || #54    || add overlapping or incoherent instances 
    9191||    ||    || N  ||    || N  || N  || N  || N  ||    || N  || N  ||  N  ||    || N  ||     ||  N ||    || #43    || add Linear implicit params 
    9292||    ||    || N  ||    ||    || N  || N  ||    ||    || Y  ||    ||  M  ||    ||    ||     ||  M ||    || #36    || add FunctionalDependencies 
    93 ||    ||    ||    ||    || N  || N  || N  ||    ||    || N  || N  ||  Y  ||    ||    ||     ||  Y ||  Y || #77    || add MultiWayIf 
    94 ||    ||    ||    ||    || N  ||    || N  || Y  ||    || Y  || N  ||     ||    || Y  ||     ||    ||  N || #69    || allow tuple sections 
     93||    ||    || Y  ||    || N  || N  || N  ||    ||    || N  || N  ||  Y  ||    ||    ||     ||  Y ||  Y || #77    || add MultiWayIf 
     94||    ||    || N  ||    || N  ||    || N  || Y  ||    || Y  || N  ||     ||    || Y  ||     ||    ||  N || #69    || allow tuple sections 
    9595||    ||    || N  ||    || N  || N  || N  || N  ||    || N  || N  ||     ||    ||    ||     ||  N ||  N || #38    || add implicit parameters 
    9696||    ||    || N  ||    ||    || N  || N  ||    ||    || N  ||    ||  N  ||    ||    ||     ||    ||    || #14    || add Associated Types