Changes between Version 35 and Version 36 of Status


Ignore:
Timestamp:
Apr 15, 2008 8:45:03 PM (7 years ago)
Author:
trac
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status

    v35 v36  
    33=== Accepted Proposals ===
    44|| Remove n+k patterns ||  || Expressions || see RemovalCandidates
     5|| remove FixityResolution from the context-free grammar || #30 || Expressions ||
    56|| KindAnnotations || #84 || Declarations and Bindings ||
    67|| ScopedTypeVariables || #67 #81 || Declarations and Bindings || specification of syntax that binds type variables
    7 || NondecreasingIndentation || #53 || Syntax Reference ||
    88|| RelaxedDependencyAnalysis || #65 || Declarations and Bindings ||
    9 || remove FixityResolution from the context-free grammar || #30 || Expressions ||
    109|| add InfixTypeConstructors || #78 || Declarations and Bindings ||
    1110|| add EmptyDataDeclarations || #25 || Declarations and Bindings || dependency on KindAnnotations
    12 || add HierarchicalModules || #24 || Modules || See [http://www.haskell.org/hierarchical-modules/ addendum]
    1311|| add ExistentialQuantification (existential components) || #26 || Declarations and Bindings || syntax of existentials
    1412|| add PolymorphicComponents || #57 || Declarations and Bindings || Draft available
     
    1614|| add [wiki:RankNTypes] or [wiki:Rank2Types] || #60 || Declarations and Bindings || RankN or Rank2?
    1715|| add multi-parameter type classes (MultiParamTypeClasses) || #49 || Declarations and Bindings || see MultiParamTypeClassesDilemma
     16|| add HierarchicalModules || #24 || Modules || See [http://www.haskell.org/hierarchical-modules/ addendum]
    1817|| add ForeignFunctionInterface || #35 || FFI ||
    1918|| add [wiki:Concurrency] || #74 || Concurrency || draft text: [wiki:Concurrency/DraftReportText]
     19|| NondecreasingIndentation || #53 || Syntax Reference ||
    2020=== Completed Proposals ===
     21|| fix comment syntax grammar (LineCommentSyntax) || #42 || Lexical ||
     22|| add PatternGuards || #56 || Expressions ||
    2123|| DoAndIfThenElse || #23 || Syntax Reference ||
    22 || add PatternGuards || #56 || Expressions ||
    23 || fix comment syntax grammar (LineCommentSyntax) || #42 || Lexical ||
    2424=== Rejected Proposals ===
     25|| Replace named fields with an extensible record system || #100 || N/A ||
     26|| Move existing named field (record) system to an addendum || #99 || N/A ||
    2527|| [wiki:RemoveStringGaps Remove string gaps] ||  || Lexical ||
    26 || Class aliases || #101 || Declarations and Bindings ||
    27 || add implicit parameters || #38 || Declarations and Bindings ||
     28|| make [wiki:Underscore] caseless || #72 || Lexical || treatment of underscore-only identifiers
    2829|| allow tuple sections || #69 || Expressions ||
    2930|| 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 ||
    3631|| Require explicit quantification on all expression bound type signatures || #28 || Expressions ||
    3732|| add LambdaCase || #41 || Expressions ||
    3833|| add MagicUnderscore || #44 || Expressions ||
    3934|| add [wiki:ParallelListComp Parallel List comprehensions] || #55 || Expressions ||
     35|| add [wiki:Arrows] || #13 || Expressions ||
     36|| Class aliases || #101 || Declarations and Bindings ||
     37|| add implicit parameters || #38 || Declarations and Bindings ||
     38|| add Linear implicit params || #43 || Declarations and Bindings ||
     39|| add views || #73 || Declarations and Bindings ||
     40|| add PartialTypeAnnotations || #86 || Declarations and Bindings ||
     41|| control export and import of class instances || #19 || Modules ||
     42|| Allow import declarations anywhere at the top level || #82 || Modules ||
    4043|| 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
    4444|| ImpreciseExceptions || #39 || Libraries ||
    4545=== Undecided Proposals ===
    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 ||
     46|| Remove upper/lower case distinction ||  || Lexical ||
     47|| [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000557.html require space around dot as operator] ||  || Lexical || See also #20 QualifiedIdentifiers
     48|| || || || See also CompositionAsDot
     49|| Eliminate tabs || #68 || Lexical ||
     50|| [wiki:CompositionAsDot Eliminate . as an operator] || #20 || Lexical ||
     51|| fix the lexical syntax for QualifiedIdentifiers || #39 || Lexical || permit qualified identifiers in definitions?
     52|| || || || interaction with CompositionAsDot
    5053|| Disambiguate record fields ||  || Expressions || [http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#disambiguate-fields GHC Users Guide]
    5154|| RecordPatternMatching ||  || Expressions ||
    5255|| [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 ||
    5456|| [wiki:ExistingRecords#PolymorphicRecordUpdatetakeII Polymorphic record update take II] ||  || Expressions ||
    55 || [wiki:ExistingRecords#Abstraction Record abstraction tweak] ||  || Declarations and Bindings ||
    5657|| [wiki:ExistingRecords#Openstatement Open statement] ||  || Expressions ||
    5758|| [wiki:ExistingRecords#Polymorphicrecordupdate Polymorphic record update] ||  || Expressions ||
    58 || [wiki:ExistingRecords#First-classsyntax First-class record syntax] ||  || Declarations and Bindings ||
    5959|| [wiki:ExistingRecords#Label-basedpattern-matching Label-based pattern-matching] ||  || Expressions ||
    6060|| [wiki:ExistingRecords#Update updating non-existant record fields] ||  || Expressions ||
    6161|| [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
     62|| Remove ~ patterns ||  || Expressions || see RemovalCandidates
     63|| add recursive do syntax || #64 || Expressions ||
     64|| get rid of unary '-' operator || #50 || Expressions ||
     65|| BangPatterns || #76 || Expressions || top-level bang patterns
     66|| || || || interaction with ! as an operator
     67|| || || || bang-pattern polymorphism
     68|| || || || existentials and bang patterns
     69|| || || || interaction with MonomorphicPatternBindings
     70|| [wiki:DerivingInstances] ||  || Declarations and Bindings ||
     71|| [http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#type-synonyms Liberalised type synonyms] ||  || Declarations and Bindings || subsumes TypeSynonymInstances
     72|| [wiki:DerivedInstances#Standalonederivedinstances Standalone Derived Instances] ||  || Declarations and Bindings ||
     73|| [wiki:ExistingRecords#Abstraction Record abstraction tweak] ||  || Declarations and Bindings ||
     74|| [wiki:ExistingRecords#First-classsyntax First-class record syntax] ||  || Declarations and Bindings ||
    6475|| Remove class context on data definitions ||  || Declarations and Bindings || see RemovalCandidates
    65 || Remove ~ patterns ||  || Expressions || see RemovalCandidates
    66 || namespace cleanup: TagExportsWithNamespace, ModuleSystem ||  || Modules ||
    6776|| add closed classes || #18 || Declarations and Bindings || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000535.html]
    6877|| add Associated Types || #14 || Declarations and Bindings ||
     
    7180|| Allow Undecidable Instances || #71 || Declarations and Bindings ||
    7281|| add GADTs || #37 || Declarations and Bindings ||
    73 || add recursive do syntax || #64 || Expressions ||
    74 || Eliminate tabs || #68 || Lexical ||
    7582|| relax restriction on signatures of class methods || #17 || Declarations and Bindings ||
    76 || unified and extensible annotations || #88 || Compiler Pragmas ||
    7783|| Reform the MonomorphismRestriction || #80 || Declarations and Bindings ||
    7884|| 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]
    8985|| add Flexible Contexts || #31 || Declarations and Bindings ||
    90 || add a binary IO interface || #15 || Libraries ||
    91 || standardize the System.FilePath module || #89 || Libraries ||
    9286|| more liberal kind inference || #85 || Declarations and Bindings ||
    9387|| MonomorphicPatternBindings || #103 || Declarations and Bindings || treatment of pattern bindings with explicit type signatures
     
    9690|| generalized deriving for newtype (NewtypeDeriving) || #52 || Declarations and Bindings || specification that does not use the term "the same representation"
    9791|| || || || overlap with TypeSynonymInstances
    98 || BangPatterns || #76 || Expressions || top-level bang patterns
     92|| FlexibleInstances || #32 || Declarations and Bindings || choice of instance conditions for termination of typechecking
     93|| || || || poor interaction with NewtypeDeriving?
     94|| allow TypeSynonymInstances || #70 || Declarations and Bindings || superseded by NewtypeDeriving?
     95|| || || || Not very useful without FlexibleInstances and/or OverlappingInstances
     96|| namespace cleanup: TagExportsWithNamespace ModuleSystem ||  || Modules ||
     97|| clarify module system proposals || #48 || Modules ||
     98|| improve module interfaces || #95 || Modules ||
     99|| [wiki:Natural] numbers || #79 || Predefined Types and Classes || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html]
     100|| add Blockable || #33 || FFI ||
     101|| add ForeignData || #34 || FFI ||
     102|| [wiki:Prelude] re-organisation proposal || #58 || Standard Prelude ||
     103|| unified and extensible annotations || #88 || Compiler Pragmas ||
     104|| add NewPragmas || #51 || Compiler Pragmas || choose specific pragmas to standardize
     105|| Simpler layout specification ||  || Syntax Reference || [http://repetae.net/repos/getlaid/]
     106|| DoAndIfThenElse for case-statements too? ||  || Syntax Reference ||
     107|| Replace the array indexing operator '!' || #96 || Libraries ||
     108|| replace the Read class || #61 || Libraries ||
     109|| add a binary IO interface || #15 || Libraries ||
     110|| standardize the System.FilePath module || #89 || Libraries ||
     111== Issues by Section ==
     112=== Section: N/A ===
     113=== Section: Introduction ===
     114=== Section: Lexical ===
     115|| fix comment syntax grammar (LineCommentSyntax) || #42 || done ||
     116|| Remove upper/lower case distinction ||  ||  ||
     117|| [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000557.html require space around dot as operator] ||  ||  || See also #20 QualifiedIdentifiers
     118|| || || || See also CompositionAsDot
     119|| Eliminate tabs || #68 ||  ||
     120|| [wiki:CompositionAsDot Eliminate . as an operator] || #20 ||  ||
     121|| fix the lexical syntax for QualifiedIdentifiers || #39 ||  || permit qualified identifiers in definitions?
     122|| || || || interaction with CompositionAsDot
     123=== Section: Expressions ===
     124|| Remove n+k patterns ||  || accepted || see RemovalCandidates
     125|| remove FixityResolution from the context-free grammar || #30 || accepted ||
     126|| add PatternGuards || #56 || done ||
     127|| Disambiguate record fields ||  ||  || [http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#disambiguate-fields GHC Users Guide]
     128|| RecordPatternMatching ||  ||  ||
     129|| [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#overloaded-strings Overload string literals] ||  ||  ||
     130|| [wiki:ExistingRecords#PolymorphicRecordUpdatetakeII Polymorphic record update take II] ||  ||  ||
     131|| [wiki:ExistingRecords#Openstatement Open statement] ||  ||  ||
     132|| [wiki:ExistingRecords#Polymorphicrecordupdate Polymorphic record update] ||  ||  ||
     133|| [wiki:ExistingRecords#Label-basedpattern-matching Label-based pattern-matching] ||  ||  ||
     134|| [wiki:ExistingRecords#Update updating non-existant record fields] ||  ||  ||
     135|| [wiki:ExistingRecords#Punning Re-allow record punning] ||  ||  ||
     136|| Remove ~ patterns ||  ||  || see RemovalCandidates
     137|| add recursive do syntax || #64 ||  ||
     138|| get rid of unary '-' operator || #50 ||  ||
     139|| BangPatterns || #76 ||  || top-level bang patterns
    99140|| || || || interaction with ! as an operator
    100141|| || || || bang-pattern polymorphism
    101142|| || || || existentials and bang patterns
    102143|| || || || 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
     144=== Section: Declarations and Bindings ===
     145|| KindAnnotations || #84 || accepted ||
     146|| ScopedTypeVariables || #67 #81 || accepted || specification of syntax that binds type variables
     147|| RelaxedDependencyAnalysis || #65 || accepted ||
     148|| add InfixTypeConstructors || #78 || accepted ||
     149|| add EmptyDataDeclarations || #25 || accepted || dependency on KindAnnotations
     150|| add ExistentialQuantification (existential components) || #26 || accepted || syntax of existentials
     151|| add PolymorphicComponents || #57 || accepted || Draft available
     152|| || || || dependency on Rank2Types or RankNTypes
     153|| add [wiki:RankNTypes] or [wiki:Rank2Types] || #60 || accepted || RankN or Rank2?
     154|| add multi-parameter type classes (MultiParamTypeClasses) || #49 || accepted || see MultiParamTypeClassesDilemma
     155|| [wiki:DerivingInstances] ||  ||  ||
     156|| [http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#type-synonyms Liberalised type synonyms] ||  ||  || subsumes TypeSynonymInstances
     157|| [wiki:DerivedInstances#Standalonederivedinstances Standalone Derived Instances] ||  ||  ||
     158|| [wiki:ExistingRecords#Abstraction Record abstraction tweak] ||  ||  ||
     159|| [wiki:ExistingRecords#First-classsyntax First-class record syntax] ||  ||  ||
     160|| Remove class context on data definitions ||  ||  || see RemovalCandidates
     161|| add closed classes || #18 ||  || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000535.html]
     162|| add Associated Types || #14 ||  ||
     163|| add FunctionalDependencies || #36 ||  ||
     164|| add overlapping or incoherent instances || #54 ||  ||
     165|| Allow Undecidable Instances || #71 ||  ||
     166|| add GADTs || #37 ||  ||
     167|| relax restriction on signatures of class methods || #17 ||  ||
     168|| Reform the MonomorphismRestriction || #80 ||  ||
     169|| add First Class Labels || #92 ||  ||
     170|| add Flexible Contexts || #31 ||  ||
     171|| more liberal kind inference || #85 ||  ||
     172|| MonomorphicPatternBindings || #103 ||  || treatment of pattern bindings with explicit type signatures
     173|| improve [wiki:Defaulting] rules || #21 ||  || scope of default clauses
     174|| || || || impact on existing defaults
     175|| generalized deriving for newtype (NewtypeDeriving) || #52 ||  || specification that does not use the term "the same representation"
     176|| || || || overlap with TypeSynonymInstances
     177|| FlexibleInstances || #32 ||  || choice of instance conditions for termination of typechecking
    105178|| || || || 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?
     179|| allow TypeSynonymInstances || #70 ||  || superseded by NewtypeDeriving?
    109180|| || || || Not very useful without FlexibleInstances and/or OverlappingInstances
    110 || DoAndIfThenElse for case-statements too? ||  || Syntax Reference ||
     181=== Section: Modules ===
     182|| add HierarchicalModules || #24 || accepted || See [http://www.haskell.org/hierarchical-modules/ addendum]
     183|| namespace cleanup: TagExportsWithNamespace ModuleSystem ||  ||  ||
     184|| clarify module system proposals || #48 ||  ||
     185|| improve module interfaces || #95 ||  ||
     186=== Section: Predefined Types and Classes ===
     187|| [wiki:Natural] numbers || #79 ||  || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html]
     188=== Section: FFI ===
     189|| add ForeignFunctionInterface || #35 || accepted ||
     190|| add Blockable || #33 ||  ||
     191|| add ForeignData || #34 ||  ||
     192=== Section: Concurrency ===
     193|| add [wiki:Concurrency] || #74 || accepted || draft text: [wiki:Concurrency/DraftReportText]
     194=== Section: Basic I/O ===
     195=== Section: Standard Prelude ===
     196|| [wiki:Prelude] re-organisation proposal || #58 ||  ||
     197=== Section: Specification of Derived Instances ===
     198=== Section: Compiler Pragmas ===
     199|| unified and extensible annotations || #88 ||  ||
     200|| add NewPragmas || #51 ||  || choose specific pragmas to standardize
     201=== Section: Syntax Reference ===
     202|| NondecreasingIndentation || #53 || accepted ||
     203|| DoAndIfThenElse || #23 || done ||
     204|| Simpler layout specification ||  ||  || [http://repetae.net/repos/getlaid/]
     205|| DoAndIfThenElse for case-statements too? ||  ||  ||
     206=== Section: Libraries ===
     207|| Replace the array indexing operator '!' || #96 ||  ||
     208|| replace the Read class || #61 ||  ||
     209|| add a binary IO interface || #15 ||  ||
     210|| standardize the System.FilePath module || #89 ||  ||
     211[(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]