Changes between Version 5 and Version 6 of Status


Ignore:
Timestamp:
Mar 25, 2008 8:56:15 PM (6 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 ||