Changes between Version 46 and Version 47 of Status


Ignore:
Timestamp:
Jul 7, 2009 1:29:18 PM (5 years ago)
Author:
trac
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status

    v46 v47  
    1 [[PageOutline]] 
    2 == Haskell' Status Page == 
    3 DO NOT EDIT!  This page is automatically generated by [http://darcs.haskell.org/haskell-prime-status/status.hs] 
    4 === Accepted Proposals === 
    5 || Change the syntax of QualifiedOperators ||  || Lexical ||  
    6 || Remove n+k patterns ||  || Expressions || see RemovalCandidates 
    7 || 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 ||  
    10 || KindAnnotations || #84 || Declarations and Bindings ||  
    11 || ScopedTypeVariables || #67 #81 || Declarations and Bindings || specification of syntax that binds type variables 
    12 || RelaxedDependencyAnalysis || #65 || Declarations and Bindings ||  
    13 || add InfixTypeConstructors || #78 || Declarations and Bindings ||  
    14 || add EmptyDataDeclarations || #25 || Declarations and Bindings || dependency on KindAnnotations 
    15 || add ExistentialQuantification (existential components) || #26 || Declarations and Bindings || syntax of existentials 
    16 || add PolymorphicComponents || #57 || Declarations and Bindings || Draft available 
    17 || || || || dependency on Rank2Types or RankNTypes 
    18 || add [wiki:RankNTypes] or [wiki:Rank2Types] || #60 || Declarations and Bindings || RankN or Rank2? 
    19 || add multi-parameter type classes (MultiParamTypeClasses) || #49 || Declarations and Bindings || see MultiParamTypeClassesDilemma 
    20 || add HierarchicalModules || #24 || Modules || See [http://www.haskell.org/hierarchical-modules/ addendum] 
    21 || add ForeignFunctionInterface || #35 || FFI ||  
    22 || add [wiki:Concurrency] || #74 || Concurrency || draft text: [wiki:Concurrency/DraftReportText] 
    23 || NondecreasingIndentation || #53 || Syntax Reference ||  
    24 === Completed Proposals === 
    25 || fix comment syntax grammar (LineCommentSyntax) || #42 || Lexical ||  
    26 || add PatternGuards || #56 || Expressions ||  
    27 || DoAndIfThenElse || #23 || Syntax Reference ||  
    28 === Rejected Proposals === 
    29 || Replace named fields with an extensible record system || #100 || N/A ||  
    30 || Move existing named field (record) system to an addendum || #99 || N/A ||  
    31 || [wiki:RemoveStringGaps Remove string gaps] ||  || Lexical ||  
    32 || [wiki:CompositionAsDot Eliminate . as an operator] || #20 || Lexical ||  
    33 || make [wiki:Underscore] caseless || #72 || Lexical || treatment of underscore-only identifiers 
    34 || allow tuple sections || #69 || Expressions ||  
    35 || add MultiWayIf || #77 || Expressions ||  
    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 || add [wiki:Arrows] || #13 || Expressions ||  
    41 || Class aliases || #101 || Declarations and Bindings ||  
    42 || add implicit parameters || #38 || Declarations and Bindings ||  
    43 || add Linear implicit params || #43 || Declarations and Bindings ||  
    44 || add views || #73 || Declarations and Bindings ||  
    45 || [wiki:MonomorphismRestriction/MonomorphicVariableAndPatternBindings] || #80 || Declarations and Bindings ||  
    46 || [wiki:MonomorphismRestriction/Optional] || #80 || Declarations and Bindings ||  
    47 || add PartialTypeAnnotations || #86 || Declarations and Bindings ||  
    48 || MonomorphicPatternBindings || #103 || Declarations and Bindings || treatment of pattern bindings with explicit type signatures 
    49 || control export and import of class instances || #19 || Modules ||  
    50 || Allow import declarations anywhere at the top level || #82 || Modules ||  
    51 || allow data constructors to be exported and imported readonly || #62 || Modules ||  
    52 || [wiki:ChangeDollarAssociativity Make $ left associative, like application] ||  || Standard Prelude ||  
    53 || ImpreciseExceptions || #39 || Libraries ||  
    54 === Undecided Proposals === 
    55 || Remove upper/lower case distinction ||  || Lexical ||  
    56 || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000557.html require space around dot as operator] ||  || Lexical || See also #20 QualifiedIdentifiers 
    57 || || || || See also CompositionAsDot 
    58 || Eliminate tabs || #68 || Lexical ||  
    59 || fix the lexical syntax for QualifiedIdentifiers || #39 || Lexical || permit qualified identifiers in definitions? 
    60 || || || || interaction with CompositionAsDot 
    61 || Disambiguate record fields ||  || Expressions || [http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#disambiguate-fields GHC Users Guide] 
    62 || RecordPatternMatching ||  || Expressions ||  
    63 || [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#overloaded-strings Overload string literals] ||  || Expressions ||  
    64 || [wiki:ExistingRecords#PolymorphicRecordUpdatetakeII Polymorphic record update take II] ||  || Expressions ||  
    65 || [wiki:ExistingRecords#Openstatement Open statement] ||  || Expressions ||  
    66 || [wiki:ExistingRecords#Polymorphicrecordupdate Polymorphic record update] ||  || Expressions ||  
    67 || [wiki:ExistingRecords#Label-basedpattern-matching Label-based pattern-matching] ||  || Expressions ||  
    68 || [wiki:ExistingRecords#Update updating non-existant record fields] ||  || Expressions ||  
    69 || [wiki:ExistingRecords#Punning Re-allow record punning] ||  || Expressions ||  
    70 || Remove ~ patterns ||  || Expressions || see RemovalCandidates 
    71 || add recursive do syntax || #64 || Expressions ||  
    72 || get rid of unary '-' operator || #50 || Expressions ||  
    73 || BangPatterns || #76 || Expressions || top-level bang patterns 
    74 || || || || interaction with ! as an operator 
    75 || || || || bang-pattern polymorphism 
    76 || || || || existentials and bang patterns 
    77 || || || || 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 ||  
    80 || [wiki:DerivingInstances] ||  || Declarations and Bindings ||  
    81 || LiberalTypeSynonyms ||  || Declarations and Bindings || subsumes TypeSynonymInstances 
    82 || [wiki:DerivedInstances#Standalonederivedinstances Standalone Derived Instances] ||  || Declarations and Bindings ||  
    83 || [wiki:ExistingRecords#Abstraction Record abstraction tweak] ||  || Declarations and Bindings ||  
    84 || [wiki:ExistingRecords#First-classsyntax First-class record syntax] ||  || Declarations and Bindings ||  
    85 || Remove class context on data definitions ||  || Declarations and Bindings || see RemovalCandidates 
    86 || add closed classes || #18 || Declarations and Bindings || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000535.html] 
    87 || add Associated Types || #14 || Declarations and Bindings ||  
    88 || add FunctionalDependencies || #36 || Declarations and Bindings ||  
    89 || add overlapping or incoherent instances || #54 || Declarations and Bindings ||  
    90 || Allow Undecidable Instances || #71 || Declarations and Bindings ||  
    91 || add GADTs || #37 || Declarations and Bindings ||  
    92 || relax restriction on signatures of class methods || #17 || 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 ||  
    95 || add First Class Labels || #92 || Declarations and Bindings ||  
    96 || add Flexible Contexts || #31 || Declarations and Bindings ||  
    97 || more liberal kind inference || #85 || Declarations and Bindings ||  
    98 || improve [wiki:Defaulting] rules || #21 || Declarations and Bindings || scope of default clauses 
    99 || || || || impact on existing defaults 
    100 || generalized deriving for newtype (NewtypeDeriving) || #52 || Declarations and Bindings || specification that does not use the term "the same representation" 
    101 || || || || overlap with TypeSynonymInstances 
    102 || FlexibleInstances || #32 || Declarations and Bindings || choice of instance conditions for termination of typechecking 
    103 || || || || poor interaction with NewtypeDeriving? 
    104 || allow TypeSynonymInstances || #70 || Declarations and Bindings || superseded by NewtypeDeriving? 
    105 || || || || Not very useful without FlexibleInstances and/or OverlappingInstances 
    106 || [wiki:ImportShadowing Local declarations shadow imports] ||  || Modules ||  
    107 || namespace cleanup: TagExportsWithNamespace ModuleSystem ||  || Modules ||  
    108 || clarify module system proposals || #48 || Modules ||  
    109 || improve module interfaces || #95 || Modules ||  
    110 || [wiki:Natural] numbers || #79 || Predefined Types and Classes || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html] 
    111 || add Blockable || #33 || FFI ||  
    112 || add ForeignData || #34 || FFI ||  
    113 || [wiki:Prelude] re-organisation proposal || #58 || Standard Prelude ||  
    114 || unified and extensible annotations || #88 || Compiler Pragmas ||  
    115 || add NewPragmas || #51 || Compiler Pragmas || choose specific pragmas to standardize 
    116 || Simpler layout specification ||  || Syntax Reference || [http://repetae.net/repos/getlaid/] 
    117 || DoAndIfThenElse for case-statements too? ||  || Syntax Reference ||  
    118 || [wiki:ArrayIndexing Replace the array indexing operator] '!' || #96 || Libraries ||  
    119 || replace the Read class || #61 || Libraries ||  
    120 || add a binary IO interface || #15 || Libraries ||  
    121 || standardize the System.FilePath module || #89 || Libraries ||  
    122 == Issues by Section == 
    123 === Section: N/A === 
    124 === Section: Introduction === 
    125 === Section: Lexical === 
    126 || Change the syntax of QualifiedOperators ||  || accepted ||  
    127 || fix comment syntax grammar (LineCommentSyntax) || #42 || done ||  
    128 || Remove upper/lower case distinction ||  ||  ||  
    129 || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000557.html require space around dot as operator] ||  ||  || See also #20 QualifiedIdentifiers 
    130 || || || || See also CompositionAsDot 
    131 || Eliminate tabs || #68 ||  ||  
    132 || fix the lexical syntax for QualifiedIdentifiers || #39 ||  || permit qualified identifiers in definitions? 
    133 || || || || interaction with CompositionAsDot 
    134 === Section: Expressions === 
    135 || Remove n+k patterns ||  || accepted || see RemovalCandidates 
    136 || remove FixityResolution from the context-free grammar || #30 || accepted ||  
    137 || add PatternGuards || #56 || done ||  
    138 || Disambiguate record fields ||  ||  || [http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#disambiguate-fields GHC Users Guide] 
    139 || RecordPatternMatching ||  ||  ||  
    140 || [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#overloaded-strings Overload string literals] ||  ||  ||  
    141 || [wiki:ExistingRecords#PolymorphicRecordUpdatetakeII Polymorphic record update take II] ||  ||  ||  
    142 || [wiki:ExistingRecords#Openstatement Open statement] ||  ||  ||  
    143 || [wiki:ExistingRecords#Polymorphicrecordupdate Polymorphic record update] ||  ||  ||  
    144 || [wiki:ExistingRecords#Label-basedpattern-matching Label-based pattern-matching] ||  ||  ||  
    145 || [wiki:ExistingRecords#Update updating non-existant record fields] ||  ||  ||  
    146 || [wiki:ExistingRecords#Punning Re-allow record punning] ||  ||  ||  
    147 || Remove ~ patterns ||  ||  || see RemovalCandidates 
    148 || add recursive do syntax || #64 ||  ||  
    149 || get rid of unary '-' operator || #50 ||  ||  
    150 || BangPatterns || #76 ||  || top-level bang patterns 
    151 || || || || interaction with ! as an operator 
    152 || || || || bang-pattern polymorphism 
    153 || || || || existentials and bang patterns 
    154 || || || || interaction with MonomorphicPatternBindings 
    155 === Section: Declarations and Bindings === 
    156 || [wiki:MonomorphismRestriction/Remove Remove the monomorphism restriction] || #80 || accepted ||  
    157 || SpecifyPatternBindingSemantics ||  || accepted ||  
    158 || KindAnnotations || #84 || accepted ||  
    159 || ScopedTypeVariables || #67 #81 || accepted || specification of syntax that binds type variables 
    160 || RelaxedDependencyAnalysis || #65 || accepted ||  
    161 || add InfixTypeConstructors || #78 || accepted ||  
    162 || add EmptyDataDeclarations || #25 || accepted || dependency on KindAnnotations 
    163 || add ExistentialQuantification (existential components) || #26 || accepted || syntax of existentials 
    164 || add PolymorphicComponents || #57 || accepted || Draft available 
    165 || || || || dependency on Rank2Types or RankNTypes 
    166 || add [wiki:RankNTypes] or [wiki:Rank2Types] || #60 || accepted || RankN or Rank2? 
    167 || add multi-parameter type classes (MultiParamTypeClasses) || #49 || accepted || see MultiParamTypeClassesDilemma 
    168 || Allow GADT syntax for data types ||  ||  ||  
    169 || [http://www.haskell.org/pipermail/haskell-prime/2008-April/002569.html Instance declarations can use qualified names] ||  ||  ||  
    170 || [wiki:DerivingInstances] ||  ||  ||  
    171 || LiberalTypeSynonyms ||  ||  || subsumes TypeSynonymInstances 
    172 || [wiki:DerivedInstances#Standalonederivedinstances Standalone Derived Instances] ||  ||  ||  
    173 || [wiki:ExistingRecords#Abstraction Record abstraction tweak] ||  ||  ||  
    174 || [wiki:ExistingRecords#First-classsyntax First-class record syntax] ||  ||  ||  
    175 || Remove class context on data definitions ||  ||  || see RemovalCandidates 
    176 || add closed classes || #18 ||  || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000535.html] 
    177 || add Associated Types || #14 ||  ||  
    178 || add FunctionalDependencies || #36 ||  ||  
    179 || add overlapping or incoherent instances || #54 ||  ||  
    180 || Allow Undecidable Instances || #71 ||  ||  
    181 || add GADTs || #37 ||  ||  
    182 || relax restriction on signatures of class methods || #17 ||  ||  
    183 || [wiki:MonomorphismRestriction/MonomorphicBindingSyntax Add monomorphic binding syntax] || #80 ||  ||  
    184 || [wiki:MonomorphismRestriction/MonomorphicBindingOperator Add a monomorphic binding operator] || #80 ||  ||  
    185 || add First Class Labels || #92 ||  ||  
    186 || add Flexible Contexts || #31 ||  ||  
    187 || more liberal kind inference || #85 ||  ||  
    188 || improve [wiki:Defaulting] rules || #21 ||  || scope of default clauses 
    189 || || || || impact on existing defaults 
    190 || generalized deriving for newtype (NewtypeDeriving) || #52 ||  || specification that does not use the term "the same representation" 
    191 || || || || overlap with TypeSynonymInstances 
    192 || FlexibleInstances || #32 ||  || choice of instance conditions for termination of typechecking 
    193 || || || || poor interaction with NewtypeDeriving? 
    194 || allow TypeSynonymInstances || #70 ||  || superseded by NewtypeDeriving? 
    195 || || || || Not very useful without FlexibleInstances and/or OverlappingInstances 
    196 === Section: Modules === 
    197 || add HierarchicalModules || #24 || accepted || See [http://www.haskell.org/hierarchical-modules/ addendum] 
    198 || [wiki:ImportShadowing Local declarations shadow imports] ||  ||  ||  
    199 || namespace cleanup: TagExportsWithNamespace ModuleSystem ||  ||  ||  
    200 || clarify module system proposals || #48 ||  ||  
    201 || improve module interfaces || #95 ||  ||  
    202 === Section: Predefined Types and Classes === 
    203 || [wiki:Natural] numbers || #79 ||  || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html] 
    204 === Section: FFI === 
    205 || add ForeignFunctionInterface || #35 || accepted ||  
    206 || add Blockable || #33 ||  ||  
    207 || add ForeignData || #34 ||  ||  
    208 === Section: Concurrency === 
    209 || add [wiki:Concurrency] || #74 || accepted || draft text: [wiki:Concurrency/DraftReportText] 
    210 === Section: Basic I/O === 
    211 === Section: Standard Prelude === 
    212 || [wiki:Prelude] re-organisation proposal || #58 ||  ||  
    213 === Section: Specification of Derived Instances === 
    214 === Section: Compiler Pragmas === 
    215 || unified and extensible annotations || #88 ||  ||  
    216 || add NewPragmas || #51 ||  || choose specific pragmas to standardize 
    217 === Section: Syntax Reference === 
    218 || NondecreasingIndentation || #53 || accepted ||  
    219 || DoAndIfThenElse || #23 || done ||  
    220 || Simpler layout specification ||  ||  || [http://repetae.net/repos/getlaid/] 
    221 || DoAndIfThenElse for case-statements too? ||  ||  ||  
    222 === Section: Libraries === 
    223 || [wiki:ArrayIndexing Replace the array indexing operator] '!' || #96 ||  ||  
    224 || replace the Read class || #61 ||  ||  
    225 || add a binary IO interface || #15 ||  ||  
    226 || standardize the System.FilePath module || #89 ||  ||