Changes between Version 22 and Version 23 of StrawPoll-2


Ignore:
Timestamp:
Aug 18, 2006 9:08:59 PM (8 years ago)
Author:
loeh@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-2

    v22 v23  
    7272||    ||    || N  ||    ||  N ||    || Y  || N  || Y  || M  || N  ||  N  ||    ||    ||   ||     ||    ||  N || #86    || add PartialTypeAnnotations? 
    7373|| Y* || Y  || Y  ||    ||    ||    ||    || Y  ||    || M  || N  ||  Y  ||    ||   ||    ||     ||  N ||    || #76    || Bang patterns 
    74 ||    ||    || YM  ||    ||    ||    || Y* || YM || Y  || Y* ||    || YM  ||    ||    ||   ||  M  ||  Y || Y* || #67    || add Scoped Type Variables 
     74||    ||    || YM  ||    ||    || M  || Y* || YM || Y  || Y* ||    || YM  ||    ||    ||   ||  M  ||  Y || Y* || #67    || add Scoped Type Variables 
    7575|| N  ||    || N  ||    || N  || N  || Y* || Y* || Y  || N  || N  ||     || N  ||   ||    ||  N  ||    ||    || #62    || allow data consructors to be exported and imported readonly 
    7676|| Y* || M  || M  ||    ||    ||    || N  ||    || Y  ||    ||    ||     ||    ||   ||    ||     ||  AW||    || #58    || prelude re-organisation proposal 
    7777||    || Y  || Y  ||    || N  || N  || N  || Y  ||    || N  || N  ||  N  ||    ||   || Y  ||   N ||  R ||    || #55    || add Parallel List comprehensions 
    7878||    || Y  || Y  ||    ||    || M  || Y  || Y  || Y  || Y  || N  ||  Y  ||    ||   || Y  ||     ||  A ||  Y || #52    || Generalised deriving for newtype 
    79 || N  || M  || N  ||    || N  || N  || N  || Y  || N  || N  || N  ||  Y  || N  ||   || N  ||  N  ||    ||  Y || #50    || get rid of unary '-' operator 
     79|| N  || M  || N  ||    || N  ||    || N  || Y  || N  || N  || N  ||  Y  || N  ||   || N  ||  N  ||    ||  Y || #50    || get rid of unary '-' operator 
    8080||    ||    ||    ||    ||    ||    ||    ||    ||    || M  ||    ||     ||    ||    ||   ||     ||    ||    || #48    || clarify module system proposals 
    8181||    ||    ||    ||    || N  || N  ||    || N  ||    || N  || N  ||     ||    ||    ||   ||  N  ||    ||    || #44    || add MagicUnderscore 
     
    8585||    ||    || Y  ||    ||    ||    || Y  || Y  ||    || Y  ||    ||  Y  ||    ||    ||   ||     ||  Y ||    || #30    || remove operator fixity resolution from the context-free grammar 
    8686||    || M  || N  ||    ||    ||    ||    || Y  ||    ||    || N  ||  N  ||    ||   ||    ||     ||  N ||    || #28    || Require explicit quantification on all expression bound type signatures 
    87 ||    ||    || Y  ||    ||    ||    ||    || M  || Y  ||    ||    ||     ||    ||    ||   ||     ||  Y ||    || #21    || improve defaulting rules 
     87||    ||    || Y  ||    ||    || Y  ||    || M  || Y  ||    ||    ||     ||    ||    ||   ||     ||  Y ||    || #21    || improve defaulting rules 
    8888||    || N  || N  ||    ||    || N  || N  || M  ||    || N  || N  ||  N  ||    ||   ||    ||     ||    ||  N || #92    || add First Class Labels 
    8989||    || N  || N  ||    ||    ||    || N  || N  ||    || N  || Y  ||  N  ||    ||   ||    ||     ||  Y ||    || #99    || Move existing named field (record) system to an addendum 
    9090||    || N  || N  ||    ||    ||    || N  || N  || N  || N  || N  ||  N  ||    ||   ||    ||     ||  N ||    || #100   || Replace named fields with an extensible record system 
    9191||    || M  || M  ||    ||    ||    || M  || Y  ||    ||    ||    ||  M  ||    ||   ||    ||     ||  Y ||    || #80    || Reform the monomorphism restriction 
    92 ||    || M  || Y  ||    || Y  || Y || Y  || Y  || Y  || Y  ||    ||  Y  || Y  ||   || Y  ||  Y  ||    || A  || #78    || Add infix type constructors 
     92||    || M  || Y  ||    || Y  || AW || Y  || Y  || Y  || Y  ||    ||  Y  || Y  ||   || Y  ||  Y  ||    || A  || #78    || Add infix type constructors 
    9393|| N  ||    || Y  ||    || N  || N  || N  || N  || Y  || N  || N  ||  Y  ||    ||    ||   ||     ||  R ||    || #82    || Allow import declarations anywhere at the top level 
    9494||    ||    || Y  ||    ||    ||    ||    || Y  || Y  || Y  || Y  ||  Y  ||    ||    ||   ||     ||    ||  Y || #81    || scoping of type variables in class instances 
    9595|| Y* ||    || M  ||    ||    ||    || M  || M  ||    || M  ||    ||  M  ||    ||    ||   ||     ||  M ||  M || #88    || unified and extensible annotations 
    96 ||    ||    || N  ||    || M  ||    || N  || N  ||    || M  || N  ||  N  ||    ||    ||   ||  M  ||  R ||  N || #19    || control export and import of class instances 
     96||    ||    || N  ||    || M  || N  || N  || N  ||    || M  || N  ||  N  ||    ||    ||   ||  M  ||  R ||  N || #19    || control export and import of class instances 
    9797||    ||    || Y  ||    ||    ||    || Y  || Y  ||    || Y  ||    ||  Y  ||    ||    ||   ||     ||    ||  Y || #17    || relax restriction on signatures of class methods 
    9898|| Y* ||    || N  ||    || Y  || Y  || N  ||    || Y  || N  || N  ||     ||    ||    ||   ||  Y  ||    ||  Y || #68    || Eliminate tabs 
     
    102102||    || N  || N  ||  Y ||    || M  ||    ||    || N  || N  ||    ||  N  ||    ||   ||    ||     ||  N ||    || #71    || Allow Undecidable Instances 
    103103||    || N  || Y*  ||    ||    ||    ||    || N  || N  || M  || N  ||  Y  ||    ||   ||    ||     ||  N ||  N || #54    || add overlapping or incoherent instances 
    104 || N  || N  || N  ||    || N  || N  || N  || N  || N  || N  || N  ||  N  || N  ||   || N  ||     ||  R ||  N || #43    || add Linear implicit params 
    105 || M  || M  || N  ||    ||    || N  || N  ||    || Y  || Y  ||    ||  M  || N  ||   ||    ||  M  ||  M || YM || #36    || add FunctionalDependencies 
     104|| N  || N  || N  ||    || N  || R  || N  || N  || N  || N  || N  ||  N  || N  ||   || N  ||     ||  R ||  N || #43    || add Linear implicit params 
     105|| M  || M  || N  ||    ||    || M  || N  ||    || Y  || Y  ||    ||  M  || N  ||   ||    ||  M  ||  M || YM || #36    || add FunctionalDependencies 
    106106|| Y  || N  || Y  ||    || N  || N  || N  || Y  ||    || N  || N  ||  Y  ||    ||   ||    ||  N  ||  Y ||  Y || #77    || add MultiWayIf 
    107107||    || N  || N  ||    || N  ||    || N  || Y  ||    || Y  || N  ||     ||    ||   || Y  ||     ||    ||  N || #69    || allow tuple sections 
    108108|| N  || N  || N  ||    || N  || N  || N  || N  || N  || N  || N  ||     || N  ||   ||    ||  N  ||  R ||  N || #38    || add implicit parameters 
    109 || M  || M  || M  ||    ||    || N  || N  || M  || M  || N  ||    ||  M  || N  ||   ||    ||     ||    ||  N || #14    || add Associated Types 
     109|| M  || M  || M  ||    ||    || M  || N  || M  || M  || N  ||    ||  M  || N  ||   ||    ||     ||    ||  N || #14    || add Associated Types 
    110110|| N  || M  || N  ||    || N  || N  || N  || N  ||    || N  || N  ||     ||    ||   ||    ||  N  ||  N ||    || #13    || add Arrows 
    111111|| N  ||    || N  ||    || N  || N  || N  || Y* ||    || N  || N  ||  N  ||    ||   ||    ||     ||    ||  N || #18    || add closed classes 
    112 ||    ||    || Y  ||    || Y  || Y || Y  || Y  || Y  || Y  || N  ||  Y  || Y  ||   || Y  ||     ||  A ||  A || #84    || Kind Annotations 
     112||    ||    || Y  ||    || Y  || AW || Y  || Y  || Y  || Y  || N  ||  Y  || Y  ||   || Y  ||     ||  A ||  A || #84    || Kind Annotations 
    113113||    ||    || N  ||    ||    ||    ||    ||    ||    ||    ||    ||  N  ||    ||   ||    ||     ||  Y ||    || #101    || Class aliases 
    114114||    ||    || Y  ||    ||    ||    ||    ||    ||    ||    ||    ||  Y  ||    ||   ||    ||     ||    ||  Y || #103    || MonomorphicPatternBindings