... | @@ -5,7 +5,12 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -5,7 +5,12 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
|
|
### Accepted Proposals
|
|
### Accepted Proposals
|
|
|
|
|
|
<table><tr><th> Remove n+k patterns </th>
|
|
<table><tr><th> Change the syntax of [QualifiedOperators](qualified-operators)</th>
|
|
|
|
<th></th>
|
|
|
|
<th> Lexical
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> Remove n+k patterns </th>
|
|
<th></th>
|
|
<th></th>
|
|
<th> Expressions </th>
|
|
<th> Expressions </th>
|
|
<th> see [RemovalCandidates](removal-candidates)</th></tr>
|
|
<th> see [RemovalCandidates](removal-candidates)</th></tr>
|
... | @@ -14,6 +19,16 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -14,6 +19,16 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<th> Expressions
|
|
<th> Expressions
|
|
</th>
|
|
</th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th>[Remove the monomorphism restriction](monomorphism-restriction/remove)</th>
|
|
|
|
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
|
|
|
|
<th> Declarations and Bindings
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th>[SpecifyPatternBindingSemantics](specify-pattern-binding-semantics)</th>
|
|
|
|
<th></th>
|
|
|
|
<th> Declarations and Bindings
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
<tr><th>[KindAnnotations](kind-annotations)</th>
|
|
<tr><th>[KindAnnotations](kind-annotations)</th>
|
|
<th>[\#84](https://gitlab.haskell.org//haskell/prime/issues/84)</th>
|
|
<th>[\#84](https://gitlab.haskell.org//haskell/prime/issues/84)</th>
|
|
<th> Declarations and Bindings
|
|
<th> Declarations and Bindings
|
... | @@ -113,6 +128,11 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -113,6 +128,11 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<th> Lexical
|
|
<th> Lexical
|
|
</th>
|
|
</th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th>[Eliminate . as an operator](composition-as-dot)</th>
|
|
|
|
<th>[\#20](https://gitlab.haskell.org//haskell/prime/issues/20)</th>
|
|
|
|
<th> Lexical
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
<tr><th> make [Underscore](underscore) caseless </th>
|
|
<tr><th> make [Underscore](underscore) caseless </th>
|
|
<th>[\#72](https://gitlab.haskell.org//haskell/prime/issues/72)</th>
|
|
<th>[\#72](https://gitlab.haskell.org//haskell/prime/issues/72)</th>
|
|
<th> Lexical </th>
|
|
<th> Lexical </th>
|
... | @@ -173,11 +193,26 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -173,11 +193,26 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<th> Declarations and Bindings
|
|
<th> Declarations and Bindings
|
|
</th>
|
|
</th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th>[MonomorphismRestriction/MonomorphicVariableAndPatternBindings](monomorphism-restriction/monomorphic-variable-and-pattern-bindings)</th>
|
|
|
|
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
|
|
|
|
<th> Declarations and Bindings
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th>[MonomorphismRestriction/Optional](monomorphism-restriction/optional)</th>
|
|
|
|
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
|
|
|
|
<th> Declarations and Bindings
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
<tr><th> add [PartialTypeAnnotations](partial-type-annotations)</th>
|
|
<tr><th> add [PartialTypeAnnotations](partial-type-annotations)</th>
|
|
<th>[\#86](https://gitlab.haskell.org//haskell/prime/issues/86)</th>
|
|
<th>[\#86](https://gitlab.haskell.org//haskell/prime/issues/86)</th>
|
|
<th> Declarations and Bindings
|
|
<th> Declarations and Bindings
|
|
</th>
|
|
</th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th>[MonomorphicPatternBindings](monomorphic-pattern-bindings)</th>
|
|
|
|
<th>[\#103](https://gitlab.haskell.org//haskell/prime/issues/103)</th>
|
|
|
|
<th> Declarations and Bindings </th>
|
|
|
|
<th> treatment of pattern bindings with explicit type signatures
|
|
|
|
</th></tr>
|
|
<tr><th> control export and import of class instances </th>
|
|
<tr><th> control export and import of class instances </th>
|
|
<th>[\#19](https://gitlab.haskell.org//haskell/prime/issues/19)</th>
|
|
<th>[\#19](https://gitlab.haskell.org//haskell/prime/issues/19)</th>
|
|
<th> Modules
|
|
<th> Modules
|
... | @@ -193,6 +228,11 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -193,6 +228,11 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<th> Modules
|
|
<th> Modules
|
|
</th>
|
|
</th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th>[Make $ left associative, like application](change-dollar-associativity)</th>
|
|
|
|
<th></th>
|
|
|
|
<th> Standard Prelude
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
<tr><th>[ImpreciseExceptions](imprecise-exceptions)</th>
|
|
<tr><th>[ImpreciseExceptions](imprecise-exceptions)</th>
|
|
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
|
|
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
|
|
<th> Libraries
|
|
<th> Libraries
|
... | @@ -201,12 +241,7 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -201,12 +241,7 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
|
|
### Undecided Proposals
|
|
### Undecided Proposals
|
|
|
|
|
|
<table><tr><th> Change the syntax of [QualifiedOperators](qualified-operators)</th>
|
|
<table><tr><th> Remove upper/lower case distinction </th>
|
|
<th></th>
|
|
|
|
<th> Lexical
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> Remove upper/lower case distinction </th>
|
|
|
|
<th></th>
|
|
<th></th>
|
|
<th> Lexical
|
|
<th> Lexical
|
|
</th>
|
|
</th>
|
... | @@ -224,11 +259,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -224,11 +259,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<th> Lexical
|
|
<th> Lexical
|
|
</th>
|
|
</th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th>[Eliminate . as an operator](composition-as-dot)</th>
|
|
|
|
<th>[\#20](https://gitlab.haskell.org//haskell/prime/issues/20)</th>
|
|
|
|
<th> Lexical
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> fix the lexical syntax for [QualifiedIdentifiers](qualified-identifiers)</th>
|
|
<tr><th> fix the lexical syntax for [QualifiedIdentifiers](qualified-identifiers)</th>
|
|
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
|
|
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
|
|
<th> Lexical </th>
|
|
<th> Lexical </th>
|
... | @@ -320,6 +350,16 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -320,6 +350,16 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th> interaction with [MonomorphicPatternBindings](monomorphic-pattern-bindings)</th></tr>
|
|
<th> interaction with [MonomorphicPatternBindings](monomorphic-pattern-bindings)</th></tr>
|
|
|
|
<tr><th> Allow GADT syntax for data types </th>
|
|
|
|
<th></th>
|
|
|
|
<th> Declarations and Bindings
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th>[ Instance declarations can use qualified names](http://www.haskell.org/pipermail/haskell-prime/2008-April/002569.html)</th>
|
|
|
|
<th></th>
|
|
|
|
<th> Declarations and Bindings
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
<tr><th>[DerivingInstances](deriving-instances)</th>
|
|
<tr><th>[DerivingInstances](deriving-instances)</th>
|
|
<th></th>
|
|
<th></th>
|
|
<th> Declarations and Bindings
|
|
<th> Declarations and Bindings
|
... | @@ -382,7 +422,12 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -382,7 +422,12 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<th> Declarations and Bindings
|
|
<th> Declarations and Bindings
|
|
</th>
|
|
</th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Reform the [MonomorphismRestriction](monomorphism-restriction)</th>
|
|
<tr><th>[Add monomorphic binding syntax](monomorphism-restriction/monomorphic-binding-syntax)</th>
|
|
|
|
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
|
|
|
|
<th> Declarations and Bindings
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th>[Add a monomorphic binding operator](monomorphism-restriction/monomorphic-binding-operator)</th>
|
|
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
|
|
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
|
|
<th> Declarations and Bindings
|
|
<th> Declarations and Bindings
|
|
</th>
|
|
</th>
|
... | @@ -402,11 +447,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -402,11 +447,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<th> Declarations and Bindings
|
|
<th> Declarations and Bindings
|
|
</th>
|
|
</th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th>[MonomorphicPatternBindings](monomorphic-pattern-bindings)</th>
|
|
|
|
<th>[\#103](https://gitlab.haskell.org//haskell/prime/issues/103)</th>
|
|
|
|
<th> Declarations and Bindings </th>
|
|
|
|
<th> treatment of pattern bindings with explicit type signatures
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> improve [Defaulting](defaulting) rules </th>
|
|
<tr><th> improve [Defaulting](defaulting) rules </th>
|
|
<th>[\#21](https://gitlab.haskell.org//haskell/prime/issues/21)</th>
|
|
<th>[\#21](https://gitlab.haskell.org//haskell/prime/issues/21)</th>
|
|
<th> Declarations and Bindings </th>
|
|
<th> Declarations and Bindings </th>
|
... | @@ -474,11 +514,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -474,11 +514,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<th> FFI
|
|
<th> FFI
|
|
</th>
|
|
</th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th>[Make $ left associative, like application](change-dollar-associativity)</th>
|
|
|
|
<th></th>
|
|
|
|
<th> Standard Prelude
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th>[Prelude](prelude) re-organisation proposal </th>
|
|
<tr><th>[Prelude](prelude) re-organisation proposal </th>
|
|
<th>[\#58](https://gitlab.haskell.org//haskell/prime/issues/58)</th>
|
|
<th>[\#58](https://gitlab.haskell.org//haskell/prime/issues/58)</th>
|
|
<th> Standard Prelude
|
|
<th> Standard Prelude
|
... | @@ -532,15 +567,16 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -532,15 +567,16 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
|
|
### Section: Lexical
|
|
### Section: Lexical
|
|
|
|
|
|
<table><tr><th> fix comment syntax grammar ([LineCommentSyntax](line-comment-syntax)) </th>
|
|
<table><tr><th> Change the syntax of [QualifiedOperators](qualified-operators)</th>
|
|
|
|
<th></th>
|
|
|
|
<th> accepted
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> fix comment syntax grammar ([LineCommentSyntax](line-comment-syntax)) </th>
|
|
<th>[\#42](https://gitlab.haskell.org//haskell/prime/issues/42)</th>
|
|
<th>[\#42](https://gitlab.haskell.org//haskell/prime/issues/42)</th>
|
|
<th> done
|
|
<th> done
|
|
</th>
|
|
</th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Change the syntax of [QualifiedOperators](qualified-operators)</th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> Remove upper/lower case distinction </th>
|
|
<tr><th> Remove upper/lower case distinction </th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
... | @@ -557,10 +593,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -557,10 +593,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<th>[\#68](https://gitlab.haskell.org//haskell/prime/issues/68)</th>
|
|
<th>[\#68](https://gitlab.haskell.org//haskell/prime/issues/68)</th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th>[Eliminate . as an operator](composition-as-dot)</th>
|
|
|
|
<th>[\#20](https://gitlab.haskell.org//haskell/prime/issues/20)</th>
|
|
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> fix the lexical syntax for [QualifiedIdentifiers](qualified-identifiers)</th>
|
|
<tr><th> fix the lexical syntax for [QualifiedIdentifiers](qualified-identifiers)</th>
|
|
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
|
|
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
|
|
<th></th>
|
|
<th></th>
|
... | @@ -662,7 +694,17 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -662,7 +694,17 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
|
|
### Section: Declarations and Bindings
|
|
### Section: Declarations and Bindings
|
|
|
|
|
|
<table><tr><th>[KindAnnotations](kind-annotations)</th>
|
|
<table><tr><th>[Remove the monomorphism restriction](monomorphism-restriction/remove)</th>
|
|
|
|
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
|
|
|
|
<th> accepted
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th>[SpecifyPatternBindingSemantics](specify-pattern-binding-semantics)</th>
|
|
|
|
<th></th>
|
|
|
|
<th> accepted
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th>[KindAnnotations](kind-annotations)</th>
|
|
<th>[\#84](https://gitlab.haskell.org//haskell/prime/issues/84)</th>
|
|
<th>[\#84](https://gitlab.haskell.org//haskell/prime/issues/84)</th>
|
|
<th> accepted
|
|
<th> accepted
|
|
</th>
|
|
</th>
|
... | @@ -710,6 +752,14 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -710,6 +752,14 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<th>[\#49](https://gitlab.haskell.org//haskell/prime/issues/49)</th>
|
|
<th>[\#49](https://gitlab.haskell.org//haskell/prime/issues/49)</th>
|
|
<th> accepted </th>
|
|
<th> accepted </th>
|
|
<th> see [MultiParamTypeClassesDilemma](multi-param-type-classes-dilemma)</th></tr>
|
|
<th> see [MultiParamTypeClassesDilemma](multi-param-type-classes-dilemma)</th></tr>
|
|
|
|
<tr><th> Allow GADT syntax for data types </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th>[ Instance declarations can use qualified names](http://www.haskell.org/pipermail/haskell-prime/2008-April/002569.html)</th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<tr><th>[DerivingInstances](deriving-instances)</th>
|
|
<tr><th>[DerivingInstances](deriving-instances)</th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
... | @@ -762,7 +812,11 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -762,7 +812,11 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<th>[\#17](https://gitlab.haskell.org//haskell/prime/issues/17)</th>
|
|
<th>[\#17](https://gitlab.haskell.org//haskell/prime/issues/17)</th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Reform the [MonomorphismRestriction](monomorphism-restriction)</th>
|
|
<tr><th>[Add monomorphic binding syntax](monomorphism-restriction/monomorphic-binding-syntax)</th>
|
|
|
|
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
|
|
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th>[Add a monomorphic binding operator](monomorphism-restriction/monomorphic-binding-operator)</th>
|
|
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
|
|
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
... | @@ -778,11 +832,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -778,11 +832,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<th>[\#85](https://gitlab.haskell.org//haskell/prime/issues/85)</th>
|
|
<th>[\#85](https://gitlab.haskell.org//haskell/prime/issues/85)</th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th>[MonomorphicPatternBindings](monomorphic-pattern-bindings)</th>
|
|
|
|
<th>[\#103](https://gitlab.haskell.org//haskell/prime/issues/103)</th>
|
|
|
|
<th></th>
|
|
|
|
<th> treatment of pattern bindings with explicit type signatures
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> improve [Defaulting](defaulting) rules </th>
|
|
<tr><th> improve [Defaulting](defaulting) rules </th>
|
|
<th>[\#21](https://gitlab.haskell.org//haskell/prime/issues/21)</th>
|
|
<th>[\#21](https://gitlab.haskell.org//haskell/prime/issues/21)</th>
|
|
<th></th>
|
|
<th></th>
|
... | @@ -872,10 +921,7 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -872,10 +921,7 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
|
|
### Section: Standard Prelude
|
|
### Section: Standard Prelude
|
|
|
|
|
|
<table><tr><th>[Make $ left associative, like application](change-dollar-associativity)</th>
|
|
<table><tr><th>[Prelude](prelude) re-organisation proposal </th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th>[Prelude](prelude) re-organisation proposal </th>
|
|
|
|
<th>[\#58](https://gitlab.haskell.org//haskell/prime/issues/58)</th>
|
|
<th>[\#58](https://gitlab.haskell.org//haskell/prime/issues/58)</th>
|
|
<th></th></tr></table>
|
|
<th></th></tr></table>
|
|
|
|
|
... | | ... | |