Changes between Version 29 and Version 30 of StrawPoll-2


Ignore:
Timestamp:
Aug 23, 2006 10:31:12 AM (9 years ago)
Author:
autrijus@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-2

    v29 v30  
    8181||    ||    ||    ||    || N  || N  ||    || N  || N  || N  || R  ||     ||    ||    ||    ||  N  ||    ||    || #44    || add MagicUnderscore
    8282||    || N  || N  ||  N || N  || N  || N  ||    || N  || N  || N  ||  N  ||    ||    || N  ||  N  ||    ||    || #41    || add LambdaCase
    83 || M  || M  || N  ||    ||    ||    || N  || Y  || Y  || N  || N  ||     ||    ||    ||    ||     ||    ||    || #34    || add ForeignData
    84 || Y  ||    ||    ||    ||    ||    || Y* || Y  || Y  ||    ||    ||     ||    ||    ||   ||     ||    ||    || #33    || add Blockable
    85 ||    ||    || Y  ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||  Y  ||    ||    ||   ||     ||  Y ||    || #30    || remove operator fixity resolution from the context-free grammar
    86 ||    || M  || N  ||    ||    ||    ||    || Y  ||    ||    || N  ||  N  ||    ||   ||    ||     ||  N ||    || #28    || Require explicit quantification on all expression bound type signatures
    87 ||    ||    || Y  ||    ||    || Y  ||    || M  || Y  ||    ||    ||     ||    ||    ||   ||     ||  Y ||    || #21    || improve defaulting rules
    88 ||    || N  || N  ||    ||    || N  || N  || M  || N  || N  || N  ||  N  ||    ||   ||    ||     ||    ||  N || #92    || add First Class Labels
    89 ||    || N  || N  ||    ||    ||    || N  || N  ||    || N  || Y  ||  N  ||    ||   ||    ||     ||  Y ||    || #99    || Move existing named field (record) system to an addendum
    90 ||    || N  || N  ||    ||    ||    || N  || N  || N  || N  || N  ||  N  ||    ||   ||    ||     ||  N ||    || #100   || Replace named fields with an extensible record system
    91 ||    || M  || M  ||    ||    ||    || M  || Y  || Y  ||    ||    ||  M  ||    ||   ||    ||     ||  Y ||    || #80    || Reform the monomorphism restriction
    92 ||    || M  || Y  ||    || Y  || AW || Y  || Y  || A  || Y  ||    ||  Y  || Y  ||   || Y  ||  Y  ||    || A  || #78    || Add infix type constructors
    93 || N  ||    || Y  ||    || N  || N  || N  || N  || Y  || N  || N  ||  Y  ||    ||    ||   ||  N   ||  R ||    || #82    || Allow import declarations anywhere at the top level
    94 ||    ||    || Y  ||    ||    ||    ||    || Y  || A  || Y  || A  ||  Y  ||    ||    ||   ||     ||    ||  Y || #81    || scoping of type variables in class instances
    95 || Y* ||    || M  ||    ||    ||    || M  || M  ||    || M  ||    ||  M  ||    ||    ||   ||     ||  M ||  M || #88    || unified and extensible annotations
     83|| M  || M  || N  ||    ||    ||    || N  || Y  || Y  || N  || N  ||     ||    ||    || Y  ||     ||    ||    || #34    || add ForeignData
     84|| Y  ||    ||    ||    ||    ||    || Y* || Y  || Y  ||    ||    ||     ||    ||    || Y  ||     ||    ||    || #33    || add Blockable
     85||    ||    || Y  ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||  Y  ||    ||    || A  ||     ||  Y ||    || #30    || remove operator fixity resolution from the context-free grammar
     86||    || M  || N  ||    ||    ||    ||    || Y  ||    ||    || N  ||  N  ||    ||    || N  ||     ||  N ||    || #28    || Require explicit quantification on all expression bound type signatures
     87||    ||    || Y  ||    ||    || Y  ||    || M  || Y  ||    ||    ||     ||    ||    ||    ||     ||  Y ||    || #21    || improve defaulting rules
     88||    || N  || N  ||    ||    || N  || N  || M  || N  || N  || N  ||  N  ||    ||    || N  ||     ||    ||  N || #92    || add First Class Labels
     89||    || N  || N  ||    ||    ||    || N  || N  ||    || N  || Y  ||  N  ||    ||    || N  ||     ||  Y ||    || #99    || Move existing named field (record) system to an addendum
     90||    || N  || N  ||    ||    ||    || N  || N  || N  || N  || N  ||  N  ||    ||    || N  ||     ||  N ||    || #100   || Replace named fields with an extensible record system
     91||    || M  || M  ||    ||    ||    || M  || Y  || Y  ||    ||    ||  M  ||    ||    ||    ||     ||  Y ||    || #80    || Reform the monomorphism restriction
     92||    || M  || Y  ||    || Y  || AW || Y  || Y  || A  || Y  ||    ||  Y  || Y  ||    || A  ||  Y  ||    || A  || #78    || Add infix type constructors
     93|| N  ||    || Y  ||    || N  || N  || N  || N  || Y  || N  || N  ||  Y  ||    ||    || Y  ||  N  ||  R ||    || #82    || Allow import declarations anywhere at the top level
     94||    ||    || Y  ||    ||    ||    ||    || Y  || A  || Y  || A  ||  Y  ||    ||    ||    ||     ||    ||  Y || #81    || scoping of type variables in class instances
     95|| Y* ||    || M  ||    ||    ||    || M  || M  ||    || M  ||    ||  M  ||    ||    ||    ||     ||  M ||  M || #88    || unified and extensible annotations
    9696||    ||    || N  ||    || M  || N  || N  || N  || N  || M  || N  ||  N  ||    ||    ||   ||  M  ||  R ||  N || #19    || control export and import of class instances
    9797||    ||    || Y  ||    ||    ||    || Y  || Y  || N  || 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
    99 ||    || N  || Y  ||    || N  || N  || N  || Y  || Y  || Y  || R  ||     ||    ||   ||    ||     ||  R ||    || #64    || add recursive do syntax
    100 ||    || M  || M  ||    ||    || Y  || N  || N* || N  || Y  || N  ||  Y  ||    ||   || Y ||     ||  N ||    || #37    || add GADTs
    101 ||    || N  || N  ||    || N  || N  || N  || N  || Y  || Y* || R  ||  M  || N  ||   ||    ||  Y  ||  R ||  M || #73    || add views
    102 ||    || N  || N  ||  Y ||    || M  ||    ||    || R  || N  || N  ||  N  ||    ||   ||    ||     ||  N ||    || #71    || Allow Undecidable Instances
    103 ||    || N  || Y* ||    ||    ||    ||    || N  || R  || M  || R  ||  Y  ||    ||   ||    ||     ||  N ||  N || #54    || add overlapping or incoherent instances
    104 || N  || N  || N  ||    || N  || R  || N  || N  || R  || N  || R  ||  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
    106 || Y  || N  || Y  ||    || N  || N  || N  || Y  ||    || N  || N  ||  Y  ||    ||   ||    ||  N  ||  Y ||  Y || #77    || add MultiWayIf
    107 ||    || N  || N  ||    || N  ||    || N  || Y  ||    || Y  || N  ||     ||    ||   || Y  ||   N  ||    ||  N || #69    || allow tuple sections
    108 || N  || N  || N  ||    || N  || N  || N  || N  || R  || N  || R  ||     || N  ||   ||    ||  N  ||  R ||  N || #38    || add implicit parameters
    109 || M  || M  || M  ||    ||    || M  || N  || M  || M  || N  ||    ||  M  || N  ||   ||    ||     ||    ||  N || #14    || add Associated Types
    110 || N  || M  || N  ||    || N  || N  || N  || N  ||    || N  || N  ||     ||    ||   ||    ||  N  ||  N ||    || #13    || add Arrows
    111 || N  ||    || N  ||    || N  || N  || N  || Y* ||    || N  || N  ||  N  ||    ||   ||    ||     ||    ||  N || #18    || add closed classes
    112 ||    ||    || Y  ||    || Y  || AW || Y  || Y  || A  || Y  || N  ||  Y  || Y  ||   || Y ||     ||  A ||  A || #84    || Kind Annotations
    113 ||    ||    || N  ||    ||    ||    ||    ||    ||    ||    || N  ||  N  ||    ||   ||    ||     ||  Y ||    || #101    || Class aliases
    114 ||    ||    || Y  ||    ||    ||    ||    ||    || Y  ||    ||    ||  Y  ||    ||   ||    ||     ||    ||  Y || #103    || MonomorphicPatternBindings
     99||    || N  || Y  ||    || N  || N  || N  || Y  || Y  || Y  || R  ||     ||    ||    ||   ||     ||  R ||    || #64    || add recursive do syntax
     100||    || M  || M  ||    ||    || Y  || N  || N* || N  || Y  || N  ||  Y  ||    ||    || Y ||     ||  N ||    || #37    || add GADTs
     101||    || N  || N  ||    || N  || N  || N  || N  || Y  || Y* || R  ||  M  || N  ||    ||   ||  Y  ||  R ||  M || #73    || add views
     102||    || N  || N  ||  Y ||    || M  ||    ||    || R  || N  || N  ||  N  ||    ||    ||   ||     ||  N ||    || #71    || Allow Undecidable Instances
     103||    || N  || Y* ||    ||    ||    ||    || N  || R  || M  || R  ||  Y  ||    ||    ||   ||     ||  N ||  N || #54    || add overlapping or incoherent instances
     104|| N  || N  || N  ||    || N  || R  || N  || N  || R  || N  || R  ||  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
     106|| Y  || N  || Y  ||    || N  || N  || N  || Y  ||    || N  || N  ||  Y  ||    ||    ||   ||  N  ||  Y ||  Y || #77    || add MultiWayIf
     107||    || N  || N  ||    || N  ||    || N  || Y  ||    || Y  || N  ||     ||    ||    || Y ||  N  ||    ||  N || #69    || allow tuple sections
     108|| N  || N  || N  ||    || N  || N  || N  || N  || R  || N  || R  ||     || N  ||    ||   ||  N  ||  R ||  N || #38    || add implicit parameters
     109|| M  || M  || M  ||    ||    || M  || N  || M  || M  || N  ||    ||  M  || N  ||    ||   ||     ||    ||  N || #14    || add Associated Types
     110|| N  || M  || N  ||    || N  || N  || N  || N  ||    || N  || N  ||     ||    ||    ||   ||  N  ||  N ||    || #13    || add Arrows
     111|| N  ||    || N  ||    || N  || N  || N  || Y* ||    || N  || N  ||  N  ||    ||    ||   ||     ||    ||  N || #18    || add closed classes
     112||    ||    || Y  ||    || Y  || AW || Y  || Y  || A  || Y  || N  ||  Y  || Y  ||    || Y ||     ||  A ||  A || #84    || Kind Annotations
     113||    ||    || N  ||    ||    ||    ||    ||    ||    ||    || N  ||  N  ||    ||    ||   ||     ||  Y ||    || #101    || Class aliases
     114||    ||    || Y  ||    ||    ||    ||    ||    || Y  ||    ||    ||  Y  ||    ||    ||   ||     ||    ||  Y || #103    || MonomorphicPatternBindings
    115115----
    116116Member key: