Changes between Version 34 and Version 35 of Status


Ignore:
Timestamp:
Apr 15, 2008 6:58:02 PM (7 years ago)
Author:
trac
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status

    v34 v35  
    22DO NOT EDIT!  This page is automatically generated by [http://darcs.haskell.org/haskell-prime-status/status.hs]
    33=== Accepted Proposals ===
    4 || Remove n+k patterns ||  || see RemovalCandidates
    5 || KindAnnotations || #84 ||
    6 || ScopedTypeVariables || #67 #81 || specification of syntax that binds type variables
    7 || NondecreasingIndentation || #53 ||
    8 || RelaxedDependencyAnalysis || #65 ||
    9 || remove FixityResolution from the context-free grammar || #30 ||
    10 || add InfixTypeConstructors || #78 ||
    11 || add EmptyDataDeclarations || #25 || dependency on KindAnnotations
    12 || add HierarchicalModules || #24 || See [http://www.haskell.org/hierarchical-modules/ addendum]
    13 || add ExistentialQuantification (existential components) || #26 || syntax of existentials
    14 || add PolymorphicComponents || #57 || Draft available
    15 || || || dependency on Rank2Types or RankNTypes
    16 || add [wiki:RankNTypes] or [wiki:Rank2Types] || #60 || RankN or Rank2?
    17 || add multi-parameter type classes (MultiParamTypeClasses) || #49 || see MultiParamTypeClassesDilemma
    18 || add ForeignFunctionInterface || #35 ||
    19 || add [wiki:Concurrency] || #74 || draft text: [wiki:Concurrency/DraftReportText]
     4|| Remove n+k patterns ||  || Expressions || see RemovalCandidates
     5|| KindAnnotations || #84 || Declarations and Bindings ||
     6|| ScopedTypeVariables || #67 #81 || Declarations and Bindings || specification of syntax that binds type variables
     7|| NondecreasingIndentation || #53 || Syntax Reference ||
     8|| RelaxedDependencyAnalysis || #65 || Declarations and Bindings ||
     9|| remove FixityResolution from the context-free grammar || #30 || Expressions ||
     10|| add InfixTypeConstructors || #78 || Declarations and Bindings ||
     11|| add EmptyDataDeclarations || #25 || Declarations and Bindings || dependency on KindAnnotations
     12|| add HierarchicalModules || #24 || Modules || See [http://www.haskell.org/hierarchical-modules/ addendum]
     13|| add ExistentialQuantification (existential components) || #26 || Declarations and Bindings || syntax of existentials
     14|| add PolymorphicComponents || #57 || Declarations and Bindings || Draft available
     15|| || || || dependency on Rank2Types or RankNTypes
     16|| add [wiki:RankNTypes] or [wiki:Rank2Types] || #60 || Declarations and Bindings || RankN or Rank2?
     17|| add multi-parameter type classes (MultiParamTypeClasses) || #49 || Declarations and Bindings || see MultiParamTypeClassesDilemma
     18|| add ForeignFunctionInterface || #35 || FFI ||
     19|| add [wiki:Concurrency] || #74 || Concurrency || draft text: [wiki:Concurrency/DraftReportText]
    2020=== Completed Proposals ===
    21 || DoAndIfThenElse || #23 ||
    22 || add PatternGuards || #56 ||
    23 || fix comment syntax grammar (LineCommentSyntax) || #42 ||
     21|| DoAndIfThenElse || #23 || Syntax Reference ||
     22|| add PatternGuards || #56 || Expressions ||
     23|| fix comment syntax grammar (LineCommentSyntax) || #42 || Lexical ||
    2424=== Rejected Proposals ===
    25 || [wiki:RemoveStringGaps Remove string gaps] ||  ||
    26 || Class aliases || #101 ||
    27 || add implicit parameters || #38 ||
    28 || allow tuple sections || #69 ||
    29 || add MultiWayIf || #77 ||
    30 || add Linear implicit params || #43 ||
    31 || add views || #73 ||
    32 || control export and import of class instances || #19 ||
    33 || Allow import declarations anywhere at the top level || #82 ||
    34 || Replace named fields with an extensible record system || #100 ||
    35 || Move existing named field (record) system to an addendum || #99 ||
    36 || Require explicit quantification on all expression bound type signatures || #28 ||
    37 || add LambdaCase || #41 ||
    38 || add MagicUnderscore || #44 ||
    39 || add [wiki:ParallelListComp Parallel List comprehensions] || #55 ||
    40 || allow data constructors to be exported and imported readonly || #62 ||
    41 || add PartialTypeAnnotations || #86 ||
    42 || add [wiki:Arrows] || #13 ||
    43 || make [wiki:Underscore] caseless || #72 || treatment of underscore-only identifiers
    44 || ImpreciseExceptions || #39 ||
     25|| [wiki:RemoveStringGaps Remove string gaps] ||  || Lexical ||
     26|| Class aliases || #101 || Declarations and Bindings ||
     27|| add implicit parameters || #38 || Declarations and Bindings ||
     28|| allow tuple sections || #69 || Expressions ||
     29|| add MultiWayIf || #77 || Expressions ||
     30|| add Linear implicit params || #43 || Declarations and Bindings ||
     31|| add views || #73 || Declarations and Bindings ||
     32|| control export and import of class instances || #19 || Modules ||
     33|| Allow import declarations anywhere at the top level || #82 || Modules ||
     34|| Replace named fields with an extensible record system || #100 || N/A ||
     35|| Move existing named field (record) system to an addendum || #99 || N/A ||
     36|| Require explicit quantification on all expression bound type signatures || #28 || Expressions ||
     37|| add LambdaCase || #41 || Expressions ||
     38|| add MagicUnderscore || #44 || Expressions ||
     39|| add [wiki:ParallelListComp Parallel List comprehensions] || #55 || Expressions ||
     40|| allow data constructors to be exported and imported readonly || #62 || Modules ||
     41|| add PartialTypeAnnotations || #86 || Declarations and Bindings ||
     42|| add [wiki:Arrows] || #13 || Expressions ||
     43|| make [wiki:Underscore] caseless || #72 || Lexical || treatment of underscore-only identifiers
     44|| ImpreciseExceptions || #39 || Libraries ||
    4545=== Undecided Proposals ===
    46 || [wiki:DerivingInstances] ||  ||
    47 || Simpler layout specification ||  || [http://repetae.net/repos/getlaid/]
    48 || [http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#type-synonyms Liberalised type synonyms] ||  || subsumes TypeSynonymInstances
    49 || [wiki:DerivedInstances#Standalonederivedinstances Standalone Derived Instances] ||  ||
    50 || Disambiguate record fields ||  || [http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#disambiguate-fields GHC Users Guide]
    51 || RecordPatternMatching ||  ||
    52 || [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#overloaded-strings Overload string literals] ||  ||
    53 || Remove upper/lower case distinction ||  ||
    54 || [wiki:ExistingRecords#PolymorphicRecordUpdatetakeII Polymorphic record update take II] ||  ||
    55 || [wiki:ExistingRecords#Abstraction Record abstraction tweak] ||  ||
    56 || [wiki:ExistingRecords#Openstatement Open statement] ||  ||
    57 || [wiki:ExistingRecords#Polymorphicrecordupdate Polymorphic record update] ||  ||
    58 || [wiki:ExistingRecords#First-classsyntax First-class record syntax] ||  ||
    59 || [wiki:ExistingRecords#Label-basedpattern-matching Label-based pattern-matching] ||  ||
    60 || [wiki:ExistingRecords#Update updating non-existant record fields] ||  ||
    61 || [wiki:ExistingRecords#Punning Re-allow record punning] ||  ||
    62 || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000557.html require space around dot as operator] ||  || See also #20, QualifiedIdentifiers
    63 || Remove class context on data definitions ||  || see RemovalCandidates
    64 || Remove ~ patterns ||  || see RemovalCandidates
    65 || namespace cleanup: TagExportsWithNamespace, ModuleSystem ||  ||
    66 || add closed classes || #18 || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000535.html]
    67 || add Associated Types || #14 ||
    68 || add FunctionalDependencies || #36 ||
    69 || add overlapping or incoherent instances || #54 ||
    70 || Allow Undecidable Instances || #71 ||
    71 || add GADTs || #37 ||
    72 || add recursive do syntax || #64 ||
    73 || Eliminate tabs || #68 ||
    74 || relax restriction on signatures of class methods || #17 ||
    75 || unified and extensible annotations || #88 ||
    76 || Reform the MonomorphismRestriction || #80 ||
    77 || add First Class Labels || #92 ||
    78 || add Blockable || #33 ||
    79 || add ForeignData || #34 ||
    80 || clarify module system proposals || #48 ||
    81 || get rid of unary '-' operator || #50 ||
    82 || [wiki:Prelude] re-organisation proposal || #58 ||
    83 || improve module interfaces || #95 ||
    84 || Replace the array indexing operator, '!' || #96 ||
    85 || replace the Read class || #61 ||
    86 || [wiki:CompositionAsDot Eliminate . as an operator] || #20 ||
    87 || [wiki:Natural] numbers || #79 || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html]
    88 || add Flexible Contexts || #31 ||
    89 || add a binary IO interface || #15 ||
    90 || standardize the System.FilePath module || #89 ||
    91 || more liberal kind inference || #85 ||
    92 || MonomorphicPatternBindings || #103 || treatment of pattern bindings with explicit type signatures
    93 || improve [wiki:Defaulting] rules || #21 || scope of default clauses
    94 || || || impact on existing defaults
    95 || generalized deriving for newtype (NewtypeDeriving) || #52 || specification that does not use the term "the same representation"
    96 || || || overlap with TypeSynonymInstances
    97 || BangPatterns || #76 || top-level bang patterns
    98 || || || interaction with ! as an operator
    99 || || || bang-pattern polymorphism
    100 || || || existentials and bang patterns
    101 || || || interaction with MonomorphicPatternBindings
    102 || add NewPragmas || #51 || choose specific pragmas to standardize
    103 || FlexibleInstances || #32 || choice of instance conditions for termination of typechecking
    104 || || || poor interaction with NewtypeDeriving?
    105 || fix the lexical syntax for QualifiedIdentifiers || #39 || permit qualified identifiers in definitions?
    106 || || || interaction with CompositionAsDot
    107 || allow TypeSynonymInstances || #70 || superseded by NewtypeDeriving?
    108 || || || Not very useful without FlexibleInstances and/or OverlappingInstances
    109 || DoAndIfThenElse for case-statements too? ||  ||
     46|| [wiki:DerivingInstances] ||  || Declarations and Bindings ||
     47|| Simpler layout specification ||  || Syntax Reference || [http://repetae.net/repos/getlaid/]
     48|| [http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#type-synonyms Liberalised type synonyms] ||  || Declarations and Bindings || subsumes TypeSynonymInstances
     49|| [wiki:DerivedInstances#Standalonederivedinstances Standalone Derived Instances] ||  || Declarations and Bindings ||
     50|| Disambiguate record fields ||  || Expressions || [http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#disambiguate-fields GHC Users Guide]
     51|| RecordPatternMatching ||  || Expressions ||
     52|| [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#overloaded-strings Overload string literals] ||  || Expressions ||
     53|| Remove upper/lower case distinction ||  || Lexical ||
     54|| [wiki:ExistingRecords#PolymorphicRecordUpdatetakeII Polymorphic record update take II] ||  || Expressions ||
     55|| [wiki:ExistingRecords#Abstraction Record abstraction tweak] ||  || Declarations and Bindings ||
     56|| [wiki:ExistingRecords#Openstatement Open statement] ||  || Expressions ||
     57|| [wiki:ExistingRecords#Polymorphicrecordupdate Polymorphic record update] ||  || Expressions ||
     58|| [wiki:ExistingRecords#First-classsyntax First-class record syntax] ||  || Declarations and Bindings ||
     59|| [wiki:ExistingRecords#Label-basedpattern-matching Label-based pattern-matching] ||  || Expressions ||
     60|| [wiki:ExistingRecords#Update updating non-existant record fields] ||  || Expressions ||
     61|| [wiki:ExistingRecords#Punning Re-allow record punning] ||  || Expressions ||
     62|| [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000557.html require space around dot as operator] ||  || Lexical || See also #20, QualifiedIdentifiers
     63|| || || || See also CompositionAsDot
     64|| Remove class context on data definitions ||  || Declarations and Bindings || see RemovalCandidates
     65|| Remove ~ patterns ||  || Expressions || see RemovalCandidates
     66|| namespace cleanup: TagExportsWithNamespace, ModuleSystem ||  || Modules ||
     67|| add closed classes || #18 || Declarations and Bindings || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000535.html]
     68|| add Associated Types || #14 || Declarations and Bindings ||
     69|| add FunctionalDependencies || #36 || Declarations and Bindings ||
     70|| add overlapping or incoherent instances || #54 || Declarations and Bindings ||
     71|| Allow Undecidable Instances || #71 || Declarations and Bindings ||
     72|| add GADTs || #37 || Declarations and Bindings ||
     73|| add recursive do syntax || #64 || Expressions ||
     74|| Eliminate tabs || #68 || Lexical ||
     75|| relax restriction on signatures of class methods || #17 || Declarations and Bindings ||
     76|| unified and extensible annotations || #88 || Compiler Pragmas ||
     77|| Reform the MonomorphismRestriction || #80 || Declarations and Bindings ||
     78|| add First Class Labels || #92 || Declarations and Bindings ||
     79|| add Blockable || #33 || FFI ||
     80|| add ForeignData || #34 || FFI ||
     81|| clarify module system proposals || #48 || Modules ||
     82|| get rid of unary '-' operator || #50 || Expressions ||
     83|| [wiki:Prelude] re-organisation proposal || #58 || Standard Prelude ||
     84|| improve module interfaces || #95 || Modules ||
     85|| Replace the array indexing operator, '!' || #96 || Libraries ||
     86|| replace the Read class || #61 || Libraries ||
     87|| [wiki:CompositionAsDot Eliminate . as an operator] || #20 || Lexical ||
     88|| [wiki:Natural] numbers || #79 || Predefined Types and Classes || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html]
     89|| add Flexible Contexts || #31 || Declarations and Bindings ||
     90|| add a binary IO interface || #15 || Libraries ||
     91|| standardize the System.FilePath module || #89 || Libraries ||
     92|| more liberal kind inference || #85 || Declarations and Bindings ||
     93|| MonomorphicPatternBindings || #103 || Declarations and Bindings || treatment of pattern bindings with explicit type signatures
     94|| improve [wiki:Defaulting] rules || #21 || Declarations and Bindings || scope of default clauses
     95|| || || || impact on existing defaults
     96|| generalized deriving for newtype (NewtypeDeriving) || #52 || Declarations and Bindings || specification that does not use the term "the same representation"
     97|| || || || overlap with TypeSynonymInstances
     98|| BangPatterns || #76 || Expressions || top-level bang patterns
     99|| || || || interaction with ! as an operator
     100|| || || || bang-pattern polymorphism
     101|| || || || existentials and bang patterns
     102|| || || || interaction with MonomorphicPatternBindings
     103|| add NewPragmas || #51 || Compiler Pragmas || choose specific pragmas to standardize
     104|| FlexibleInstances || #32 || Declarations and Bindings || choice of instance conditions for termination of typechecking
     105|| || || || poor interaction with NewtypeDeriving?
     106|| fix the lexical syntax for QualifiedIdentifiers || #39 || Lexical || permit qualified identifiers in definitions?
     107|| || || || interaction with CompositionAsDot
     108|| allow TypeSynonymInstances || #70 || Declarations and Bindings || superseded by NewtypeDeriving?
     109|| || || || Not very useful without FlexibleInstances and/or OverlappingInstances
     110|| DoAndIfThenElse for case-statements too? ||  || Syntax Reference ||