... | ... | @@ -11,7 +11,12 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
### 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> Expressions </th>
|
|
|
<th> see [RemovalCandidates](removal-candidates)
|
... | ... | @@ -21,6 +26,16 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<th> Expressions
|
|
|
</th>
|
|
|
<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>
|
|
|
<th> [\#84](https://gitlab.haskell.org//haskell/prime/issues/84) </th>
|
|
|
<th> Declarations and Bindings
|
... | ... | @@ -128,6 +143,11 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<th> Lexical
|
|
|
</th>
|
|
|
<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>
|
|
|
<th> [\#72](https://gitlab.haskell.org//haskell/prime/issues/72) </th>
|
|
|
<th> Lexical </th>
|
... | ... | @@ -188,11 +208,26 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<th> Declarations and Bindings
|
|
|
</th>
|
|
|
<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>
|
|
|
<th> [\#86](https://gitlab.haskell.org//haskell/prime/issues/86) </th>
|
|
|
<th> Declarations and Bindings
|
|
|
</th>
|
|
|
<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>
|
|
|
<th> [\#19](https://gitlab.haskell.org//haskell/prime/issues/19) </th>
|
|
|
<th> Modules
|
... | ... | @@ -208,6 +243,11 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<th> Modules
|
|
|
</th>
|
|
|
<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>
|
|
|
<th> [\#39](https://gitlab.haskell.org//haskell/prime/issues/39) </th>
|
|
|
<th> Libraries
|
... | ... | @@ -218,12 +258,7 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
### Undecided Proposals
|
|
|
|
|
|
|
|
|
<table><tr><th> Change the syntax of [QualifiedOperators](qualified-operators) </th>
|
|
|
<th> </th>
|
|
|
<th> Lexical
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> Remove upper/lower case distinction </th>
|
|
|
<table><tr><th> Remove upper/lower case distinction </th>
|
|
|
<th> </th>
|
|
|
<th> Lexical
|
|
|
</th>
|
... | ... | @@ -243,11 +278,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<th> Lexical
|
|
|
</th>
|
|
|
<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>
|
|
|
<th> [\#39](https://gitlab.haskell.org//haskell/prime/issues/39) </th>
|
|
|
<th> Lexical </th>
|
... | ... | @@ -343,6 +373,16 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<th> </th>
|
|
|
<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>
|
|
|
<th> </th>
|
|
|
<th> Declarations and Bindings
|
... | ... | @@ -408,7 +448,12 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<th> Declarations and Bindings
|
|
|
</th>
|
|
|
<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> Declarations and Bindings
|
|
|
</th>
|
... | ... | @@ -428,11 +473,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<th> Declarations and Bindings
|
|
|
</th>
|
|
|
<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>
|
|
|
<th> [\#21](https://gitlab.haskell.org//haskell/prime/issues/21) </th>
|
|
|
<th> Declarations and Bindings </th>
|
... | ... | @@ -503,11 +543,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<th> FFI
|
|
|
</th>
|
|
|
<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>
|
|
|
<th> [\#58](https://gitlab.haskell.org//haskell/prime/issues/58) </th>
|
|
|
<th> Standard Prelude
|
... | ... | @@ -567,14 +602,14 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
### Section: Lexical
|
|
|
|
|
|
|
|
|
<table><tr><th> fix comment syntax grammar ([LineCommentSyntax](line-comment-syntax)) </th>
|
|
|
<th> [\#42](https://gitlab.haskell.org//haskell/prime/issues/42) </th>
|
|
|
<th> done
|
|
|
<table><tr><th> Change the syntax of [QualifiedOperators](qualified-operators) </th>
|
|
|
<th> </th>
|
|
|
<th> accepted
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> Change the syntax of [QualifiedOperators](qualified-operators) </th>
|
|
|
<th> </th>
|
|
|
<th>
|
|
|
<tr><th> fix comment syntax grammar ([LineCommentSyntax](line-comment-syntax)) </th>
|
|
|
<th> [\#42](https://gitlab.haskell.org//haskell/prime/issues/42) </th>
|
|
|
<th> done
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> Remove upper/lower case distinction </th>
|
... | ... | @@ -597,11 +632,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<th>
|
|
|
</th>
|
|
|
<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>
|
|
|
<th> [\#39](https://gitlab.haskell.org//haskell/prime/issues/39) </th>
|
|
|
<th> </th>
|
... | ... | @@ -722,7 +752,17 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
### 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> accepted
|
|
|
</th>
|
... | ... | @@ -772,6 +812,16 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<th> accepted </th>
|
|
|
<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>
|
|
|
<th> </th>
|
|
|
<th>
|
... | ... | @@ -837,7 +887,12 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<th>
|
|
|
</th>
|
|
|
<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>
|
|
|
</th>
|
... | ... | @@ -857,11 +912,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<th>
|
|
|
</th>
|
|
|
<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>
|
|
|
<th> [\#21](https://gitlab.haskell.org//haskell/prime/issues/21) </th>
|
|
|
<th> </th>
|
... | ... | @@ -972,11 +1022,7 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
### Section: Standard Prelude
|
|
|
|
|
|
|
|
|
<table><tr><th> [Make $ left associative, like application](change-dollar-associativity) </th>
|
|
|
<th> </th>
|
|
|
<th>
|
|
|
</th></tr>
|
|
|
<tr><th> [Prelude](prelude) re-organisation proposal </th>
|
|
|
<table><tr><th> [Prelude](prelude) re-organisation proposal </th>
|
|
|
<th> [\#58](https://gitlab.haskell.org//haskell/prime/issues/58) </th>
|
|
|
<th>
|
|
|
</th></tr></table>
|
... | ... | |