Changes between Version 5 and Version 6 of Status


Ignore:
Timestamp:
Mar 25, 2008 8:56:15 PM (7 years ago)
Author:
trac
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status

    v5 v6  
    11== Haskell' Status Page ==
    22DO NOT EDIT!  This page is automatically generated by [http://darcs.haskell.org/haskell-prime-status/status.hs]
    3 || add [wiki:Concurrency] || #74 || accepted || draft text: [wiki:Concurrency/DraftReportText]
    4 || add ForeignFunctionInterface || #35 || accepted ||
    5 || add multi-parameter type classes (MultiParamTypeClasses) || #49 || accepted || see MultiParamTypeClassesDilemma
    6 || add [wiki:RankNTypes] or [wiki:Rank2Types] || #60 || accepted || RankN or Rank2?
    7 || add PolymorphicComponents || #57 || accepted || Draft available
     3=== Accepted Proposals ===
     4|| remove FixityResolution from the context-free grammar || #30 ||
     5|| add InfixTypeConstructors || #78 ||
     6|| add EmptyDataDeclarations || #25 || dependency on KindAnnotations
     7|| add HierarchicalModules || #24 || See addendum
     8|| add ExistentialQuantification (existential components) || #26 || syntax of existentials
     9|| add PolymorphicComponents || #57 || Draft available
    810|| || || || dependency on Rank2Types or RankNTypes
    9 || add ExistentialQuantification (existential components) || #26 || accepted || syntax of existentials
    10 || add HierarchicalModules || #24 || accepted || See addendum
    11 || add EmptyDataDeclarations || #25 || accepted || dependency on KindAnnotations
    12 || add InfixTypeConstructors || #78 || accepted ||
    13 || remove FixityResolution from the context-free grammar || #30 || accepted ||
    14 || ImpreciseExceptions || #39 || rejected ||
    15 || DoAndIfThenElse for case-statements too? ||  ||  ||
    16 || allow TypeSynonymInstances || #70 || probably-accept || superseded by NewtypeDeriving?
    17 || || || || Not very useful without FlexibleInstances and/or OverlappingInstances
    18 || RelaxedDependencyAnalysis || #65 || probably-accept ||
    19 || NondecreasingIndentation || #53 || probably-accept ||
    20 || fix the lexical syntax for QualifiedIdentifiers || #39 || probably-accept || permit qualified identifiers in definitions?
    21 || FlexibleInstances || #32 || probably-accept || choice of instance conditions for termination of typechecking
    22 || || || || poor interaction with NewtypeDeriving?
    23 || add NewPragmas || #51 || probably-accept || choose specific pragmas to standardize
    24 || make [wiki:Underscore] caseless || #72 || probably-accept || treatment of underscore-only identifiers
    25 || BangPatterns || #76 || probably-accept || top-level bang patterns
     11|| add [wiki:RankNTypes] or [wiki:Rank2Types] || #60 || RankN or Rank2?
     12|| add multi-parameter type classes (MultiParamTypeClasses) || #49 || see MultiParamTypeClassesDilemma
     13|| add ForeignFunctionInterface || #35 ||
     14|| add [wiki:Concurrency] || #74 || draft text: [wiki:Concurrency/DraftReportText]
     15|| DoAndIfThenElse || #23 ||
     16|| add PatternGuards || #56 ||
     17|| fix comment syntax grammar (LineCommentSyntax) || #42 ||
     18=== Rejected Proposals ===
     19|| add [wiki:Arrows] || #13 ||
     20|| ImpreciseExceptions || #39 ||
     21=== Probably Accepted Proposals ===
     22|| MonomorphicPatternBindings || #10 #3 || treatment of pattern bindings with explicit type signatures
     23|| KindAnnotations || #84 ||
     24|| improve [wiki:Defaulting] rules || #21 || scope of default clauses
     25|| || || || impact on existing defaults
     26|| generalized deriving for newtype (NewtypeDeriving) || #52 || specification that does not use the term "the same representation"
     27|| || || || overlap with TypeSynonymInstances
     28|| ScopedTypeVariables || #67 #81 || specification of syntax that binds type variables
     29|| BangPatterns || #76 || top-level bang patterns
    2630|| || || || interaction with ! as an operator
    2731|| || || || bang-pattern polymorphism
    2832|| || || || existentials and bang patterns
    29 || ScopedTypeVariables || #67 #81 || probably-accept || specification of syntax that binds type variables
    30 || generalized deriving for newtype (NewtypeDeriving) || #52 || probably-accept || specification that does not use the term "the same representation"
     33|| make [wiki:Underscore] caseless || #72 || treatment of underscore-only identifiers
     34|| add NewPragmas || #51 || choose specific pragmas to standardize
     35|| FlexibleInstances || #32 || choice of instance conditions for termination of typechecking
     36|| || || || poor interaction with NewtypeDeriving?
     37|| fix the lexical syntax for QualifiedIdentifiers || #39 || permit qualified identifiers in definitions?
     38|| NondecreasingIndentation || #53 ||
     39|| RelaxedDependencyAnalysis || #65 ||
     40|| allow TypeSynonymInstances || #70 || superseded by NewtypeDeriving?
     41|| || || || Not very useful without FlexibleInstances and/or OverlappingInstances
     42=== Undecided Proposals ===
     43|| MonomorphicPatternBindings || #103 ||
     44|| Class aliases || #101 ||
     45|| add closed classes || #18 ||
     46|| add Associated Types || #14 ||
     47|| add implicit parameters || #38 ||
     48|| allow tuple sections || #69 ||
     49|| add MultiWayIf || #77 ||
     50|| add FunctionalDependencies || #36 ||
     51|| add Linear implicit params || #43 ||
     52|| add overlapping or incoherent instances || #54 ||
     53|| Allow Undecidable Instances || #71 ||
     54|| add views || #73 ||
     55|| add GADTs || #37 ||
     56|| add recursive do syntax || #64 ||
     57|| Eliminate tabs || #68 ||
     58|| relax restriction on signatures of class methods || #17 ||
     59|| control export and import of class instances || #19 ||
     60|| unified and extensible annotations || #88 ||
     61|| Allow import declarations anywhere at the top level || #82 ||
     62|| Reform the monomorphism restriction || #80 ||
     63|| Replace named fields with an extensible record system || #100 ||
     64|| Move existing named field (record) system to an addendum || #99 ||
     65|| add First Class Labels || #92 ||
     66|| Require explicit quantification on all expression bound type signatures || #28 ||
     67|| add Blockable || #33 ||
     68|| add ForeignData || #34 ||
     69|| add LambdaCase || #41 ||
     70|| add MagicUnderscore || #44 ||
     71|| clarify module system proposals || #48 ||
     72|| get rid of unary '-' operator || #50 ||
     73|| add Parallel List comprehensions || #55 ||
     74|| prelude re-organisation proposal || #58 ||
     75|| allow data constructors to be exported and imported readonly || #62 ||
     76|| add PartialTypeAnnotations || #86 ||
     77|| improve module interfaces || #95 ||
     78|| Replace the array indexing operator, '!' || #96 ||
     79|| replace the Read class || #61 ||
     80|| Eliminate . as an operator || #20 ||
     81|| Make underscore 'caseless' || #72 ||
     82|| Natural numbers || #79 ||
     83|| add Flexible Contexts || #31 ||
     84|| add a binary IO interface || #15 ||
     85|| add EmptyDataDeclarations || #25 ||
     86|| standardize the System.FilePath module || #89 ||
     87|| more liberal kind inference || #85 ||
     88|| DoAndIfThenElse for case-statements too? ||  ||
     89|| add [wiki:Concurrency] || #74 || draft text: [wiki:Concurrency/DraftReportText]
     90|| add ForeignFunctionInterface || #35 ||
     91|| add multi-parameter type classes (MultiParamTypeClasses) || #49 || see MultiParamTypeClassesDilemma
     92|| add [wiki:RankNTypes] or [wiki:Rank2Types] || #60 || RankN or Rank2?
     93|| add PolymorphicComponents || #57 || Draft available
     94|| || || || dependency on Rank2Types or RankNTypes
     95|| add ExistentialQuantification (existential components) || #26 || syntax of existentials
     96|| add HierarchicalModules || #24 || See addendum
     97|| add EmptyDataDeclarations || #25 || dependency on KindAnnotations
     98|| add InfixTypeConstructors || #78 ||
     99|| remove FixityResolution from the context-free grammar || #30 ||
     100|| ImpreciseExceptions || #39 ||
     101|| DoAndIfThenElse for case-statements too? ||  ||
     102|| allow TypeSynonymInstances || #70 || superseded by NewtypeDeriving?
     103|| || || || Not very useful without FlexibleInstances and/or OverlappingInstances
     104|| RelaxedDependencyAnalysis || #65 ||
     105|| NondecreasingIndentation || #53 ||
     106|| fix the lexical syntax for QualifiedIdentifiers || #39 || permit qualified identifiers in definitions?
     107|| FlexibleInstances || #32 || choice of instance conditions for termination of typechecking
     108|| || || || poor interaction with NewtypeDeriving?
     109|| add NewPragmas || #51 || choose specific pragmas to standardize
     110|| make [wiki:Underscore] caseless || #72 || treatment of underscore-only identifiers
     111|| BangPatterns || #76 || top-level bang patterns
     112|| || || || interaction with ! as an operator
     113|| || || || bang-pattern polymorphism
     114|| || || || existentials and bang patterns
     115|| ScopedTypeVariables || #67 #81 || specification of syntax that binds type variables
     116|| generalized deriving for newtype (NewtypeDeriving) || #52 || specification that does not use the term "the same representation"
    31117|| || || || overlap with TypeSynonymInstances
    32 || improve [wiki:Defaulting] rules || #21 || probably-accept || scope of default clauses
     118|| improve [wiki:Defaulting] rules || #21 || scope of default clauses
    33119|| || || || impact on existing defaults
    34 || KindAnnotations || #84 || probably-accept ||
    35 || MonomorphicPatternBindings || #10 #3 || probably-accept || treatment of pattern bindings with explicit type signatures
    36 || add [wiki:Arrows] || #13 || rejected ||
    37 || fix comment syntax grammar (LineCommentSyntax) || #42 || done ||
    38 || add PatternGuards || #56 || done ||
    39 || DoAndIfThenElse || #23 || done ||
    40 || more liberal kind inference || #85 ||  ||
    41 || standardize the System.FilePath module || #89 ||  ||
    42 || add EmptyDataDeclarations || #25 ||  ||
    43 || add a binary IO interface || #15 ||  ||
    44 || add Flexible Contexts || #31 ||  ||
    45 || Natural numbers || #79 ||  ||
    46 || Make underscore 'caseless' || #72 ||  ||
    47 || Eliminate . as an operator || #20 ||  ||
    48 || replace the Read class || #61 ||  ||
    49 || Replace the array indexing operator, '!' || #96 ||  ||
    50 || improve module interfaces || #95 ||  ||
    51 || add PartialTypeAnnotations || #86 ||  ||
    52 || allow data constructors to be exported and imported readonly || #62 ||  ||
    53 || prelude re-organisation proposal || #58 ||  ||
    54 || add Parallel List comprehensions || #55 ||  ||
    55 || get rid of unary '-' operator || #50 ||  ||
    56 || clarify module system proposals || #48 ||  ||
    57 || add MagicUnderscore || #44 ||  ||
    58 || add LambdaCase || #41 ||  ||
    59 || add ForeignData || #34 ||  ||
    60 || add Blockable || #33 ||  ||
    61 || Require explicit quantification on all expression bound type signatures || #28 ||  ||
    62 || add First Class Labels || #92 ||  ||
    63 || Move existing named field (record) system to an addendum || #99 ||  ||
    64 || Replace named fields with an extensible record system || #100 ||  ||
    65 || Reform the monomorphism restriction || #80 ||  ||
    66 || Allow import declarations anywhere at the top level || #82 ||  ||
    67 || unified and extensible annotations || #88 ||  ||
    68 || control export and import of class instances || #19 ||  ||
    69 || relax restriction on signatures of class methods || #17 ||  ||
    70 || Eliminate tabs || #68 ||  ||
    71 || add recursive do syntax || #64 ||  ||
    72 || add GADTs || #37 ||  ||
    73 || add views || #73 ||  ||
    74 || Allow Undecidable Instances || #71 ||  ||
    75 || add overlapping or incoherent instances || #54 ||  ||
    76 || add Linear implicit params || #43 ||  ||
    77 || add FunctionalDependencies || #36 ||  ||
    78 || add MultiWayIf || #77 ||  ||
    79 || allow tuple sections || #69 ||  ||
    80 || add implicit parameters || #38 ||  ||
    81 || add Associated Types || #14 ||  ||
    82 || add closed classes || #18 ||  ||
    83 || Class aliases || #101 ||  ||
    84 || MonomorphicPatternBindings || #103 ||  ||
     120|| KindAnnotations || #84 ||
     121|| MonomorphicPatternBindings || #10 #3 || treatment of pattern bindings with explicit type signatures
     122|| add [wiki:Arrows] || #13 ||
     123|| fix comment syntax grammar (LineCommentSyntax) || #42 ||
     124|| add PatternGuards || #56 ||
     125|| DoAndIfThenElse || #23 ||
     126|| more liberal kind inference || #85 ||
     127|| standardize the System.FilePath module || #89 ||
     128|| add EmptyDataDeclarations || #25 ||
     129|| add a binary IO interface || #15 ||
     130|| add Flexible Contexts || #31 ||
     131|| Natural numbers || #79 ||
     132|| Make underscore 'caseless' || #72 ||
     133|| Eliminate . as an operator || #20 ||
     134|| replace the Read class || #61 ||
     135|| Replace the array indexing operator, '!' || #96 ||
     136|| improve module interfaces || #95 ||
     137|| add PartialTypeAnnotations || #86 ||
     138|| allow data constructors to be exported and imported readonly || #62 ||
     139|| prelude re-organisation proposal || #58 ||
     140|| add Parallel List comprehensions || #55 ||
     141|| get rid of unary '-' operator || #50 ||
     142|| clarify module system proposals || #48 ||
     143|| add MagicUnderscore || #44 ||
     144|| add LambdaCase || #41 ||
     145|| add ForeignData || #34 ||
     146|| add Blockable || #33 ||
     147|| Require explicit quantification on all expression bound type signatures || #28 ||
     148|| add First Class Labels || #92 ||
     149|| Move existing named field (record) system to an addendum || #99 ||
     150|| Replace named fields with an extensible record system || #100 ||
     151|| Reform the monomorphism restriction || #80 ||
     152|| Allow import declarations anywhere at the top level || #82 ||
     153|| unified and extensible annotations || #88 ||
     154|| control export and import of class instances || #19 ||
     155|| relax restriction on signatures of class methods || #17 ||
     156|| Eliminate tabs || #68 ||
     157|| add recursive do syntax || #64 ||
     158|| add GADTs || #37 ||
     159|| add views || #73 ||
     160|| Allow Undecidable Instances || #71 ||
     161|| add overlapping or incoherent instances || #54 ||
     162|| add Linear implicit params || #43 ||
     163|| add FunctionalDependencies || #36 ||
     164|| add MultiWayIf || #77 ||
     165|| allow tuple sections || #69 ||
     166|| add implicit parameters || #38 ||
     167|| add Associated Types || #14 ||
     168|| add closed classes || #18 ||
     169|| Class aliases || #101 ||
     170|| MonomorphicPatternBindings || #103 ||