Changes between Version 44 and Version 45 of StrawPoll-1


Ignore:
Timestamp:
Mar 27, 2006 3:02:06 PM (9 years ago)
Author:
bastiaan@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-1

    v44 v45  
    7777||    ||    ||    ||    ||    ||    || N  || N  ||    ||    || N  ||   N  ||    ||    ||     ||  N ||    || #100   || Replace named fields with an extensible record system 
    7878||    ||    ||    ||    ||    ||    || M  ||    ||    ||    ||    ||     ||    ||    ||     ||  Y ||    || #80    || Reform the monomorphism restriction 
    79 ||    ||    ||    ||    ||   || Y  || Y  || Y  ||    ||    ||    ||   Y  ||    || Y  ||     ||    ||    || #78    || Add infix type constructors 
    80 ||    ||    ||    ||    ||   || N  || N  || N  ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||    || #82    || Allow import declarations anywhere at the top level 
     79||    ||    ||    ||    || Y || Y  || Y  || Y  ||    ||    ||    ||   Y  ||    || Y  ||     ||    ||    || #78    || Add infix type constructors 
     80||    ||    ||    ||    || N || N  || N  || N  ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||    || #82    || Allow import declarations anywhere at the top level 
    8181||    ||    ||    ||    ||    ||    ||    ||    ||    ||    || Y  ||   Y  ||    ||    ||     ||    ||    || #81    || scoping of type variables in class instances 
    8282||    ||    ||    ||    ||    ||    || M  ||    ||    ||    ||    ||   M  ||    ||    ||     ||    ||    || #88    || unified and extensible annotations 
    83 ||    ||    ||    ||    ||   ||    || N  || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #19    || control export and import of class instances 
     83||    ||    ||    ||    || M ||    || N  || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #19    || control export and import of class instances 
    8484||    ||    ||    ||    ||    ||    || Y  ||    ||    ||    ||    ||   Y  ||    ||    ||     ||    ||    || #17    || relax restriction on signatures of class methods 
    85 ||    ||    ||    ||    ||   || Y  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||    ||    || #68    || Eliminate tabs 
    86 ||    ||    ||    ||    ||   || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #64    || add recursive do syntax 
     85||    ||    ||    ||    || Y || Y  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||    ||    || #68    || Eliminate tabs 
     86||    ||    ||    ||    || N || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #64    || add recursive do syntax 
    8787||    ||    ||    ||    ||    || Y  || N  || N  ||    ||    || N  ||   Y  ||    || Y  ||     ||  N ||    || #37    || add GADTs 
    88 ||    ||    ||    ||    ||   || N  || N  || N  ||    ||    || N  ||   M  ||    ||    ||     ||  N ||    || #73    || add views 
     88||    ||    ||    ||    || N || N  || N  || N  ||    ||    || N  ||   M  ||    ||    ||     ||  N ||    || #73    || add views 
    8989||    ||    ||    ||  Y ||    || M  ||    ||    ||    ||    ||    ||   N  ||    ||    ||     ||  N ||    || #71    || Allow Undecidable Instances 
    9090||    ||    ||    ||    ||    ||    ||    || N  ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||    || #54    || add overlapping or incoherent instances 
    91 ||    ||    ||    ||    ||   || N  || N  || N  ||    ||    || N  ||   N  ||    || N  ||     ||  N ||    || #43    || add Linear implicit params 
     91||    ||    ||    ||    || N || N  || N  || N  ||    ||    || N  ||   N  ||    || N  ||     ||  N ||    || #43    || add Linear implicit params 
    9292||    ||    ||    ||    ||    || N  || N  ||    ||    ||    ||    ||   M  ||    ||    ||     ||  M ||    || #36    || add FunctionalDependencies 
    93 ||    ||    ||    ||    ||   || N  || N  ||    ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||    || #77    || add MultiWayIf 
    94 ||    ||    ||    ||    ||   ||    || N  || Y  ||    ||    || N  ||     ||    || Y  ||     ||    ||    || #69    || allow tuple sections 
    95 ||    ||    ||    ||    ||   || N  || N  || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #38    || add implicit parameters 
     93||    ||    ||    ||    || N || N  || N  ||    ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||    || #77    || add MultiWayIf 
     94||    ||    ||    ||    || N ||    || N  || Y  ||    ||    || N  ||     ||    || Y  ||     ||    ||    || #69    || allow tuple sections 
     95||    ||    ||    ||    || N || N  || N  || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #38    || add implicit parameters 
    9696||    ||    ||    ||    ||    || N  || N  ||    ||    ||    ||    ||   N  ||    ||    ||     ||    ||    || #14    || add Associated Types 
    97 ||    ||    ||    ||    ||   || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #13    || add Arrows 
    98 ||    ||    ||    ||    ||   || N  || N  ||    ||    ||    || N  ||   N  ||    ||    ||     ||    ||    || #18    || add closed classes 
    99 ||    ||    ||    ||    ||   || Y  || Y  || Y  ||    ||    || N  ||  Y   ||    || Y  ||     ||    ||    || #84    || Kind Annotations 
     97||    ||    ||    ||    || N || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #13    || add Arrows 
     98||    ||    ||    ||    || N || N  || N  ||    ||    ||    || N  ||   N  ||    ||    ||     ||    ||    || #18    || add closed classes 
     99||    ||    ||    ||    || Y || Y  || Y  || Y  ||    ||    || N  ||  Y   ||    || Y  ||     ||    ||    || #84    || Kind Annotations 
    100100 
    101101----