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 ===