Changes between Version 44 and Version 45 of Status


Ignore:
Timestamp:
May 14, 2008 3:14:34 PM (7 years ago)
Author:
trac
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status

    v44 v45  
    33DO NOT EDIT!  This page is automatically generated by [http://darcs.haskell.org/haskell-prime-status/status.hs]
    44=== Accepted Proposals ===
     5|| Change the syntax of QualifiedOperators ||  || Lexical ||
    56|| Remove n+k patterns ||  || Expressions || see RemovalCandidates
    67|| remove FixityResolution from the context-free grammar || #30 || Expressions ||
     8|| [wiki:MonomorphismRestriction/Remove Remove the monomorphism restriction] || #80 || Declarations and Bindings ||
     9|| SpecifyPatternBindingSemantics ||  || Declarations and Bindings ||
    710|| KindAnnotations || #84 || Declarations and Bindings ||
    811|| ScopedTypeVariables || #67 #81 || Declarations and Bindings || specification of syntax that binds type variables
     
    2730|| Move existing named field (record) system to an addendum || #99 || N/A ||
    2831|| [wiki:RemoveStringGaps Remove string gaps] ||  || Lexical ||
     32|| [wiki:CompositionAsDot Eliminate . as an operator] || #20 || Lexical ||
    2933|| make [wiki:Underscore] caseless || #72 || Lexical || treatment of underscore-only identifiers
    3034|| allow tuple sections || #69 || Expressions ||
     
    3943|| add Linear implicit params || #43 || Declarations and Bindings ||
    4044|| add views || #73 || Declarations and Bindings ||
     45|| [wiki:MonomorphismRestriction/MonomorphicVariableAndPatternBindings] || #80 || Declarations and Bindings ||
     46|| [wiki:MonomorphismRestriction/Optional] || #80 || Declarations and Bindings ||
    4147|| add PartialTypeAnnotations || #86 || Declarations and Bindings ||
     48|| MonomorphicPatternBindings || #103 || Declarations and Bindings || treatment of pattern bindings with explicit type signatures
    4249|| control export and import of class instances || #19 || Modules ||
    4350|| Allow import declarations anywhere at the top level || #82 || Modules ||
    4451|| allow data constructors to be exported and imported readonly || #62 || Modules ||
     52|| [wiki:ChangeDollarAssociativity Make $ left associative, like application] ||  || Standard Prelude ||
    4553|| ImpreciseExceptions || #39 || Libraries ||
    4654=== Undecided Proposals ===
    47 || Change the syntax of QualifiedOperators ||  || Lexical ||
    4855|| Remove upper/lower case distinction ||  || Lexical ||
    4956|| [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000557.html require space around dot as operator] ||  || Lexical || See also #20 QualifiedIdentifiers
    5057|| || || || See also CompositionAsDot
    5158|| Eliminate tabs || #68 || Lexical ||
    52 || [wiki:CompositionAsDot Eliminate . as an operator] || #20 || Lexical ||
    5359|| fix the lexical syntax for QualifiedIdentifiers || #39 || Lexical || permit qualified identifiers in definitions?
    5460|| || || || interaction with CompositionAsDot
     
    7076|| || || || existentials and bang patterns
    7177|| || || || interaction with MonomorphicPatternBindings
     78|| Allow GADT syntax for data types ||  || Declarations and Bindings ||
     79|| [http://www.haskell.org/pipermail/haskell-prime/2008-April/002569.html Instance declarations can use qualified names] ||  || Declarations and Bindings ||
    7280|| [wiki:DerivingInstances] ||  || Declarations and Bindings ||
    7381|| LiberalTypeSynonyms ||  || Declarations and Bindings || subsumes TypeSynonymInstances
     
    8391|| add GADTs || #37 || Declarations and Bindings ||
    8492|| relax restriction on signatures of class methods || #17 || Declarations and Bindings ||
    85 || Reform the MonomorphismRestriction || #80 || Declarations and Bindings ||
     93|| [wiki:MonomorphismRestriction/MonomorphicBindingSyntax Add monomorphic binding syntax] || #80 || Declarations and Bindings ||
     94|| [wiki:MonomorphismRestriction/MonomorphicBindingOperator Add a monomorphic binding operator] || #80 || Declarations and Bindings ||
    8695|| add First Class Labels || #92 || Declarations and Bindings ||
    8796|| add Flexible Contexts || #31 || Declarations and Bindings ||
    8897|| more liberal kind inference || #85 || Declarations and Bindings ||
    89 || MonomorphicPatternBindings || #103 || Declarations and Bindings || treatment of pattern bindings with explicit type signatures
    9098|| improve [wiki:Defaulting] rules || #21 || Declarations and Bindings || scope of default clauses
    9199|| || || || impact on existing defaults
     
    102110|| add Blockable || #33 || FFI ||
    103111|| add ForeignData || #34 || FFI ||
    104 || [wiki:ChangeDollarAssociativity Make $ left associative, like application] ||  || Standard Prelude ||
    105112|| [wiki:Prelude] re-organisation proposal || #58 || Standard Prelude ||
    106113|| unified and extensible annotations || #88 || Compiler Pragmas ||
     
    116123=== Section: Introduction ===
    117124=== Section: Lexical ===
     125|| Change the syntax of QualifiedOperators ||  || accepted ||
    118126|| fix comment syntax grammar (LineCommentSyntax) || #42 || done ||
    119 || Change the syntax of QualifiedOperators ||  ||  ||
    120127|| Remove upper/lower case distinction ||  ||  ||
    121128|| [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000557.html require space around dot as operator] ||  ||  || See also #20 QualifiedIdentifiers
    122129|| || || || See also CompositionAsDot
    123130|| Eliminate tabs || #68 ||  ||
    124 || [wiki:CompositionAsDot Eliminate . as an operator] || #20 ||  ||
    125131|| fix the lexical syntax for QualifiedIdentifiers || #39 ||  || permit qualified identifiers in definitions?
    126132|| || || || interaction with CompositionAsDot
     
    147153|| || || || interaction with MonomorphicPatternBindings
    148154=== Section: Declarations and Bindings ===
     155|| [wiki:MonomorphismRestriction/Remove Remove the monomorphism restriction] || #80 || accepted ||
     156|| SpecifyPatternBindingSemantics ||  || accepted ||
    149157|| KindAnnotations || #84 || accepted ||
    150158|| ScopedTypeVariables || #67 #81 || accepted || specification of syntax that binds type variables
     
    157165|| add [wiki:RankNTypes] or [wiki:Rank2Types] || #60 || accepted || RankN or Rank2?
    158166|| add multi-parameter type classes (MultiParamTypeClasses) || #49 || accepted || see MultiParamTypeClassesDilemma
     167|| Allow GADT syntax for data types ||  ||  ||
     168|| [http://www.haskell.org/pipermail/haskell-prime/2008-April/002569.html Instance declarations can use qualified names] ||  ||  ||
    159169|| [wiki:DerivingInstances] ||  ||  ||
    160170|| LiberalTypeSynonyms ||  ||  || subsumes TypeSynonymInstances
     
    170180|| add GADTs || #37 ||  ||
    171181|| relax restriction on signatures of class methods || #17 ||  ||
    172 || Reform the MonomorphismRestriction || #80 ||  ||
     182|| [wiki:MonomorphismRestriction/MonomorphicBindingSyntax Add monomorphic binding syntax] || #80 ||  ||
     183|| [wiki:MonomorphismRestriction/MonomorphicBindingOperator Add a monomorphic binding operator] || #80 ||  ||
    173184|| add First Class Labels || #92 ||  ||
    174185|| add Flexible Contexts || #31 ||  ||
    175186|| more liberal kind inference || #85 ||  ||
    176 || MonomorphicPatternBindings || #103 ||  || treatment of pattern bindings with explicit type signatures
    177187|| improve [wiki:Defaulting] rules || #21 ||  || scope of default clauses
    178188|| || || || impact on existing defaults
     
    198208=== Section: Basic I/O ===
    199209=== Section: Standard Prelude ===
    200 || [wiki:ChangeDollarAssociativity Make $ left associative, like application] ||  ||  ||
    201210|| [wiki:Prelude] re-organisation proposal || #58 ||  ||
    202211=== Section: Specification of Derived Instances ===