Changes between Version 50 and Version 51 of StrawPoll-1


Ignore:
Timestamp:
Mar 27, 2006 4:51:53 PM (8 years ago)
Author:
malcolm.wallace@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-1

    v50 v51  
    2828 
    2929|| IJ || JL || MC || JG || BH || AL || SM || JM || RN || HN || RP || SPJ || DS || AT || SJT || MW || SW || Ticket || Description 
    30 ||    ||    ||    || Y  ||   ||    || Y  || M  ||    ||    ||    ||  Y   ||    || Y  ||     ||  M ||    || #74    || add some kind of concurrency 
    31 ||    ||    ||    || Y  || Y || Y  || Y  || Y  ||    ||    || Y  ||   Y  ||    || Y  ||     ||  Y ||    || #35    || add ForeignFunctionInterface 
    32 ||    ||    ||    ||    ||    || M  ||    ||    ||    ||    ||    ||   Y  ||    || Y  ||     ||  M ||  YM || #49    || add multi parameter type classes 
    33 ||    ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||    || Y  ||   Y  ||    || Y  ||     ||    ||  Y || #60    || add RankNTypes or Rank2Types 
    34 ||    ||    ||    ||    ||  Y || Y  || Y  || Y  ||    ||    || Y  ||   Y  ||    || Y  ||     ||    ||   Y || #57    || add polymorphic components 
    35 ||    ||    ||    || Y  || Y  || Y  || Y  || Y  ||    ||    || Y  ||   Y  ||    || Y  ||     ||  Y ||  Y || #26    || add ExistentialQuantification (existential components) 
    36 ||    ||    ||    ||    ||  Y  || Y  ||    || Y  ||    ||    || Y  ||     ||    ||    ||     ||    ||  N || #85    || more liberal kind inference 
     30||    ||    ||    || Y  ||    ||    || Y  || M  ||    ||    ||    ||  Y  ||    || Y  ||     ||  M ||    || #74    || add some kind of concurrency 
     31||    ||    ||    || Y  || Y  || Y  || Y  || Y  ||    ||    || Y  ||  Y  ||    || Y  ||     ||  Y ||    || #35    || add ForeignFunctionInterface 
     32||    ||    ||    ||    ||    || M  ||    ||    ||    ||    ||    ||  Y  ||    || Y  ||     ||  M || YM || #49    || add multi parameter type classes 
     33||    ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||    || Y  ||  Y  ||    || Y  ||     ||    ||  Y || #60    || add RankNTypes or Rank2Types 
     34||    ||    ||    ||    ||  Y || Y  || Y  || Y  ||    ||    || Y  ||  Y  ||    || Y  ||     ||    ||  Y || #57    || add polymorphic components 
     35||    ||    ||    || Y  || Y  || Y  || Y  || Y  ||    ||    || Y  ||  Y  ||    || Y  ||     ||  Y ||  Y || #26    || add ExistentialQuantification (existential components) 
     36||    ||    ||    ||    ||  Y || Y  ||    || Y  ||    ||    || Y  ||     ||    ||    ||     ||    ||  N || #85    || more liberal kind inference 
    3737||    ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||    ||    ||     ||    || Y  ||     ||  N ||    || #70    || allow TypeSynonymInstances 
    38 ||    ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||    || Y  ||  Y   ||    || Y  ||     ||    ||  Y || #65    || Relax Dependency Analysis 
    39 ||    ||    ||    ||    ||    || Y  ||    || N  ||    ||    || Y  ||   Y  ||    ||    ||     ||    ||    || #39    || add ImpreciseExceptions 
     38||    ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||    || Y  || Y   ||    || Y  ||     ||    ||  Y || #65    || Relax Dependency Analysis 
     39||    ||    ||    ||    ||    || Y  ||    || N  ||    ||    || Y  ||  Y  ||    ||    ||     ||    ||    || #39    || add ImpreciseExceptions 
    4040||    ||    ||    ||Y(3)||    ||    || Y  || Y  ||    ||    ||    ||     ||    || Y  ||     ||  Y ||    || #29    || add ExtensibleExceptions 
    41 ||    ||    ||    || Y  || Y  || Y  || Y  || Y  ||    ||    || Y  ||   Y  ||    || Y  ||     ||  Y ||  Y || #24    || add HierarchicalModules 
     41||    ||    ||    || Y  || Y  || Y  || Y  || Y  ||    ||    || Y  ||  Y  ||    || Y  ||     ||  Y ||  Y || #24    || add HierarchicalModules 
    4242||    ||    ||    || Y  || Y  || Y  || Y  ||    ||    ||    || Y  ||     ||    || Y  ||     ||    ||    || #89    || standardize the System.FilePath module for Haskell' 
    43 ||    ||    ||    ||    ||    || Y  || Y  || Y  ||    ||    ||    ||     ||    || Y  ||     ||    ||   Y || #53    || Nondecreasing Indentation 
    44 ||    ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||    ||    ||   Y  ||    ||    ||     ||  Y ||  Y || #25    || add EmptyDataDeclarations 
    45 ||    ||    ||    ||    ||    || Y  ||    || Y  ||    ||    || Y  ||     ||    || Y  ||     ||  Y ||  Y  || #23    || fix common pitfall with the do-notation and if-then-else 
    46 ||    ||    ||    || Y  ||    ||    || Y  ||    ||    ||    || Y  ||   Y  ||    ||Y(1)||     ||  Y ||    || #15    || add a binary IO interface 
     43||    ||    ||    ||    ||    || Y  || Y  || Y  ||    ||    ||    ||     ||    || Y  ||     ||    ||  Y || #53    || Nondecreasing Indentation 
     44||    ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||    ||    ||  Y  ||    ||    ||     ||  Y ||  Y || #25    || add EmptyDataDeclarations 
     45||    ||    ||    ||    ||    || Y  ||    || Y  ||    ||    || Y  ||     ||    || Y  ||     ||  Y ||  Y || #23    || fix common pitfall with the do-notation and if-then-else 
     46||    ||    ||    || Y  ||    ||    || Y  ||    ||    ||    || Y  ||  Y  ||    ||Y(1)||     ||  Y ||    || #15    || add a binary IO interface 
    4747||    ||    ||    ||    || Y  || Y  ||    ||    ||    ||    ||    ||     ||    ||    ||     ||    ||    || #59    || Fix the lexical syntax for qualified identifiers 
    48 ||    ||    ||    ||    || Y  || Y  || Y  ||    ||    ||    || Y  ||     ||    ||    ||     ||  Y ||  Y  || #42    || fix comment syntax grammar 
    49 ||    ||    ||    ||    ||    || M  ||    ||    ||    ||    ||    ||  Y   ||    ||    ||     ||    ||    || #32    || add FlexibleInstances 
     48||    ||    ||    ||    || Y  || Y  || Y  ||    ||    ||    || Y  ||     ||    ||    ||     ||  Y ||  Y || #42    || fix comment syntax grammar 
     49||    ||    ||    ||    ||    || M  ||    ||    ||    ||    ||    ||  Y  ||    ||    ||     ||    ||    || #32    || add FlexibleInstances 
    5050||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||     ||    ||    ||     ||    ||    || #31    || add Flexible Contexts 
    51 ||    ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||    ||    ||   Y  ||    || Y  ||     ||  Y ||  Y || #56    || add Pattern Guards 
    52 ||    ||    ||    ||    ||    ||    ||    || M  ||    ||    ||    ||   Y  ||    ||    ||     ||    || Y   || #51    || add new pragmas 
     51||    ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||    ||    ||  Y  ||    || Y  ||     ||  Y ||  Y || #56    || add Pattern Guards 
     52||    ||    ||    ||    ||    ||    ||    || M  ||    ||    ||    ||  Y  ||    ||    ||     ||    || Y  || #51    || add new pragmas 
    5353||    ||    ||    ||    ||    ||    || N  ||    ||    ||    ||    ||     ||    ||    ||     ||  Y ||    || #79    || Natural numbers 
    54 ||    ||    ||    ||    ||    || Y  || Y  || Y  ||    ||    || N  ||     ||    || Y  ||     ||  Y ||  Y   || #72    || Make underscore 'caseless' 
    55 ||    ||    ||    ||    || N || N  || N  || N  ||    ||    || N  ||     ||    || N  ||     ||  N ||    || #20    || Eliminate . as an operator 
     54||    ||    ||    ||    ||    || Y  || Y  || Y  ||    ||    || N  ||     ||    || Y  ||     ||  Y ||  Y || #72    || Make underscore 'caseless' 
     55||    ||    ||    ||    || N  || N  || N  || N  ||    ||    || N  ||     ||    || N  ||     ||  N ||    || #20    || Eliminate . as an operator 
    5656||    ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||    || Y  ||     ||    ||    ||     ||  Y ||    || #61    || replace the Read class 
    5757||    ||    ||    ||    ||    ||    || Y  ||    ||    ||    ||    ||     ||    || N  ||     ||  N ||    || #96    || Replace the array indexing operator, '!' 
    58 ||    ||    ||    ||    || M  || Y  || Y* ||    ||    ||    || N  ||   Y  ||    ||    ||     ||    ||    || #95    || improve module interfaces 
    59 ||    ||    ||    ||    ||  N ||    || Y  || N  ||    ||    || N  ||  N   ||    ||    ||     ||    ||    || #86    || add PartialTypeAnnotations? 
    60 ||    ||    ||    ||    ||    ||    ||    || Y  ||    ||    || N  ||   Y  ||    ||    ||     ||    ||    || #76    || Bang patterns 
    61 ||    ||    ||    ||    ||    ||    || Y* || YM ||    ||    ||    ||  YM   ||    ||    ||     ||    ||  YM || #67    || add Scoped Type Variables 
    62 ||    ||    ||    ||    || N || N  || Y* ||    ||    ||    || N  ||     ||    ||    ||     ||    ||    || #62    || allow data consructors to be exported and imported readonly 
     58||    ||    ||    ||    || M  || Y  || Y* ||    ||    ||    || N  ||  Y  ||    ||    ||     ||    ||    || #95    || improve module interfaces 
     59||    ||    ||    ||    ||  N ||    || Y  || N  ||    ||    || N  ||  N  ||    ||    ||     ||    ||    || #86    || add PartialTypeAnnotations? 
     60||    ||    ||    ||    ||    ||    ||    || Y  ||    ||    || N  ||  Y  ||    ||    ||     ||    ||    || #76    || Bang patterns 
     61||    ||    ||    ||    ||    ||    || Y* || YM ||    ||    ||    || YM  ||    ||    ||     ||    || YM || #67    || add Scoped Type Variables 
     62||    ||    ||    ||    || N  || N  || Y* ||    ||    ||    || N  ||     ||    ||    ||     ||    ||    || #62    || allow data consructors to be exported and imported readonly 
    6363||    ||    ||    ||    ||    ||    || N  ||    ||    ||    ||    ||     ||    ||    ||     ||  M ||    || #58    || prelude re-organisation proposal 
    64 ||    ||    ||    ||    || N || N  || N  || Y  ||    ||    || N  ||   N  ||    || Y  ||     ||  N ||    || #55    || add Parallel List comprehensions 
    65 ||    ||    ||    ||    ||    || M  || Y  || Y  ||    ||    || N  ||  Y  ||    || Y  ||     ||  Y ||  Y  || #52    || Generalised deriving for newtype 
    66 ||    ||    ||    ||    || N || N  || N  || Y  ||    ||    || N  ||     ||    || N  ||     ||    ||    || #50    || get rid of unary '-' operator 
     64||    ||    ||    ||    || N  || N  || N  || Y  ||    ||    || N  ||  N  ||    || Y  ||     ||  N ||    || #55    || add Parallel List comprehensions 
     65||    ||    ||    ||    ||    || M  || Y  || Y  ||    ||    || N  ||  Y  ||    || Y  ||     ||  Y ||  Y || #52    || Generalised deriving for newtype 
     66||    ||    ||    ||    || N  || N  || N  || Y  ||    ||    || N  ||     ||    || N  ||     ||    ||    || #50    || get rid of unary '-' operator 
    6767||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||     ||    ||    ||     ||    ||    || #48    || clarify module system proposals 
    68 ||    ||    ||    ||    || N || N  ||    || N  ||    ||    || N  ||     ||    ||    ||     ||    ||    || #44    || add MagicUnderscore 
    69 ||    ||    ||    ||  N || N || N  || N  ||    ||    ||    || N  ||   N  ||    || N  ||     ||    ||    || #41    || add LambdaCase 
     68||    ||    ||    ||    || N  || N  ||    || N  ||    ||    || N  ||     ||    ||    ||     ||    ||    || #44    || add MagicUnderscore 
     69||    ||    ||    ||  N || N  || N  || N  ||    ||    ||    || N  ||  N  ||    || N  ||     ||    ||    || #41    || add LambdaCase 
    7070||    ||    ||    ||    ||    ||    || N  || Y  ||    ||    || N  ||     ||    ||    ||     ||    ||    || #34    || add ForeignData 
    7171||    ||    ||    ||    ||    ||    || Y* || Y  ||    ||    ||    ||     ||    ||    ||     ||    ||    || #33    || add Blockable 
    72 ||    ||    ||    ||    ||    ||    || Y  ||    ||    ||    ||    ||  Y   ||    ||    ||     ||    ||    || #30    || remove operator fixity resolution from the context-free grammar 
    73 ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    || N  ||  N   ||    ||    ||     ||  N ||    || #28    || Require explicit quantification on all expression bound type signatures 
     72||    ||    ||    ||    ||    ||    || Y  ||    ||    ||    ||    ||  Y  ||    ||    ||     ||    ||    || #30    || remove operator fixity resolution from the context-free grammar 
     73||    ||    ||    ||    ||    ||    ||    ||    ||    ||    || N  ||  N  ||    ||    ||     ||  N ||    || #28    || Require explicit quantification on all expression bound type signatures 
    7474||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||     ||    ||    ||     ||  Y ||    || #21    || improve defaulting rules 
    75 ||    ||    ||    ||    ||    || N  || N  ||    ||    ||    || N  ||   N  ||    ||    ||     ||    ||    || #92    || add First Class Labels 
    76 ||    ||    ||    ||    ||    ||    || N  || N  ||    ||    || Y  ||   N  ||    ||    ||     ||  Y ||    || #99    || Move existing named field (record) system to an addendum 
    77 ||    ||    ||    ||    ||    ||    || N  || N  ||    ||    || N  ||   N  ||    ||    ||     ||  N ||    || #100   || Replace named fields with an extensible record system 
     75||    ||    ||    ||    ||    || N  || N  ||    ||    ||    || N  ||  N  ||    ||    ||     ||    ||    || #92    || add First Class Labels 
     76||    ||    ||    ||    ||    ||    || N  || N  ||    ||    || Y  ||  N  ||    ||    ||     ||  Y ||    || #99    || Move existing named field (record) system to an addendum 
     77||    ||    ||    ||    ||    ||    || 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  ||    || Y  ||     ||    || Y   || #78    || Add infix type constructors 
    80 ||    ||    ||    ||    || N || N  || N  || N  ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||    || #82    || Allow import declarations anywhere at the top level 
    81 ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    || Y  ||   Y  ||    ||    ||     ||    ||  Y || #81    || scoping of type variables in class instances 
    82 ||    ||    ||    ||    ||    ||    || M  ||    ||    ||    ||    ||   M  ||    ||    ||     ||    ||  M || #88    || unified and extensible annotations 
    83 ||    ||    ||    ||    || M ||    || N  || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||  N || #19    || control export and import of class instances 
    84 ||    ||    ||    ||    ||    ||    || Y  ||    ||    ||    ||    ||   Y  ||    ||    ||     ||    ||    || #17    || relax restriction on signatures of class methods 
    85 ||    ||    ||    ||    || 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 
    89 ||    ||    ||    ||  Y ||    || M  ||    ||    ||    ||    ||    ||   N  ||    ||    ||     ||  N ||    || #71    || Allow Undecidable Instances 
    90 ||    ||    ||    ||    ||    ||    ||    || N  ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||  N || #54    || add overlapping or incoherent instances 
    91 ||    ||    ||    ||    || N || N  || N  || N  ||    ||    || N  ||   N  ||    || N  ||     ||  N ||    || #43    || add Linear implicit params 
    92 ||    ||    ||    ||    ||    || N  || N  ||    ||    ||    ||    ||   M  ||    ||    ||     ||  M ||    || #36    || add FunctionalDependencies 
    93 ||    ||    ||    ||    || N || N  || N  ||    ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||  Y || #77    || add MultiWayIf 
    94 ||    ||    ||    ||    || N ||    || N  || Y  ||    ||    || N  ||     ||    || Y  ||     ||    ||  N || #69    || allow tuple sections 
    95 ||    ||    ||    ||    || N || N  || N  || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||  N || #38    || add implicit parameters 
    96 ||    ||    ||    ||    ||    || N  || N  ||    ||    ||    ||    ||   N  ||    ||    ||     ||    ||    || #14    || add Associated Types 
    97 ||    ||    ||    ||    || N || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #13    || add Arrows 
    98 ||    ||    ||    ||    || N || N  || N  ||    ||    ||    || N  ||   N  ||    ||    ||     ||    ||  N || #18    || add closed classes 
    99 ||    ||    ||    ||    || Y || Y  || Y  || Y  ||    ||    || N  ||  Y   ||    || Y  ||     ||    ||  Y || #84    || Kind Annotations 
     79||    ||    ||    ||    || Y  || 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 
     81||    ||    ||    ||    ||    ||    ||    ||    ||    ||    || Y  ||  Y  ||    ||    ||     ||    ||  Y || #81    || scoping of type variables in class instances 
     82||    ||    ||    ||    ||    ||    || M  ||    ||    ||    ||    ||  M  ||    ||    ||     ||    ||  M || #88    || unified and extensible annotations 
     83||    ||    ||    ||    || M  ||    || N  || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||  N || #19    || control export and import of class instances 
     84||    ||    ||    ||    ||    ||    || Y  ||    ||    ||    ||    ||  Y  ||    ||    ||     ||    ||    || #17    || relax restriction on signatures of class methods 
     85||    ||    ||    ||    || 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 
     89||    ||    ||    ||  Y ||    || M  ||    ||    ||    ||    ||    ||  N  ||    ||    ||     ||  N ||    || #71    || Allow Undecidable Instances 
     90||    ||    ||    ||    ||    ||    ||    || N  ||    ||    || N  ||  Y  ||    ||    ||     ||  N ||  N || #54    || add overlapping or incoherent instances 
     91||    ||    ||    ||    || N  || N  || N  || N  ||    ||    || N  ||  N  ||    || N  ||     ||  N ||    || #43    || add Linear implicit params 
     92||    ||    ||    ||    ||    || N  || N  ||    ||    ||    ||    ||  M  ||    ||    ||     ||  M ||    || #36    || add FunctionalDependencies 
     93||    ||    ||    ||    || N  || N  || N  ||    ||    ||    || N  ||  Y  ||    ||    ||     ||  Y ||  Y || #77    || add MultiWayIf 
     94||    ||    ||    ||    || N  ||    || N  || Y  ||    ||    || N  ||     ||    || Y  ||     ||    ||  N || #69    || allow tuple sections 
     95||    ||    ||    ||    || N  || N  || N  || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||  N || #38    || add implicit parameters 
     96||    ||    ||    ||    ||    || N  || N  ||    ||    ||    ||    ||  N  ||    ||    ||     ||    ||    || #14    || add Associated Types 
     97||    ||    ||    ||    || N  || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #13    || add Arrows 
     98||    ||    ||    ||    || N  || N  || N  ||    ||    ||    || N  ||  N  ||    ||    ||     ||    ||  N || #18    || add closed classes 
     99||    ||    ||    ||    || Y  || Y  || Y  || Y  ||    ||    || N  ||  Y  ||    || Y  ||     ||    ||  Y || #84    || Kind Annotations 
    100100 
    101101----