Changes between Version 99 and Version 100 of StrawPoll-1


Ignore:
Timestamp:
Mar 29, 2006 3:56:05 PM (9 years ago)
Author:
ravi@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-1

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