Changes between Version 13 and Version 14 of StrawPoll-1


Ignore:
Timestamp:
Mar 25, 2006 6:16:37 AM (9 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-1

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