... | @@ -8,10 +8,16 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -8,10 +8,16 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<table><tr><th> Remove n+k patterns </th>
|
|
<table><tr><th> Remove n+k patterns </th>
|
|
<th></th>
|
|
<th></th>
|
|
<th> see [RemovalCandidates](removal-candidates)</th></tr>
|
|
<th> see [RemovalCandidates](removal-candidates)</th></tr>
|
|
|
|
<tr><th>[KindAnnotations](kind-annotations)</th>
|
|
|
|
<th>[\#84](https://gitlab.haskell.org//haskell/prime/issues/84)</th>
|
|
|
|
<th></th></tr>
|
|
<tr><th>[ScopedTypeVariables](scoped-type-variables)</th>
|
|
<tr><th>[ScopedTypeVariables](scoped-type-variables)</th>
|
|
<th>[\#67](https://gitlab.haskell.org//haskell/prime/issues/67)[\#81](https://gitlab.haskell.org//haskell/prime/issues/81)</th>
|
|
<th>[\#67](https://gitlab.haskell.org//haskell/prime/issues/67)[\#81](https://gitlab.haskell.org//haskell/prime/issues/81)</th>
|
|
<th> specification of syntax that binds type variables
|
|
<th> specification of syntax that binds type variables
|
|
</th></tr>
|
|
</th></tr>
|
|
|
|
<tr><th>[NondecreasingIndentation](nondecreasing-indentation)</th>
|
|
|
|
<th>[\#53](https://gitlab.haskell.org//haskell/prime/issues/53)</th>
|
|
|
|
<th></th></tr>
|
|
<tr><th>[RelaxedDependencyAnalysis](relaxed-dependency-analysis)</th>
|
|
<tr><th>[RelaxedDependencyAnalysis](relaxed-dependency-analysis)</th>
|
|
<th>[\#65](https://gitlab.haskell.org//haskell/prime/issues/65)</th>
|
|
<th>[\#65](https://gitlab.haskell.org//haskell/prime/issues/65)</th>
|
|
<th></th></tr>
|
|
<th></th></tr>
|
... | @@ -126,73 +132,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -126,73 +132,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
|
|
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
|
|
<th></th></tr></table>
|
|
<th></th></tr></table>
|
|
|
|
|
|
### Probably Accepted Proposals
|
|
|
|
|
|
|
|
<table><tr><th>[MonomorphicPatternBindings](monomorphic-pattern-bindings)</th>
|
|
|
|
<th>[\#103](https://gitlab.haskell.org//haskell/prime/issues/103)</th>
|
|
|
|
<th> treatment of pattern bindings with explicit type signatures
|
|
|
|
</th></tr>
|
|
|
|
<tr><th>[KindAnnotations](kind-annotations)</th>
|
|
|
|
<th>[\#84](https://gitlab.haskell.org//haskell/prime/issues/84)</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> improve [Defaulting](defaulting) rules </th>
|
|
|
|
<th>[\#21](https://gitlab.haskell.org//haskell/prime/issues/21)</th>
|
|
|
|
<th> scope of default clauses
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> impact on existing defaults
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> generalized deriving for newtype ([NewtypeDeriving](newtype-deriving)) </th>
|
|
|
|
<th>[\#52](https://gitlab.haskell.org//haskell/prime/issues/52)</th>
|
|
|
|
<th> specification that does not use the term "the same representation"
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> overlap with [TypeSynonymInstances](type-synonym-instances)</th></tr>
|
|
|
|
<tr><th>[BangPatterns](bang-patterns)</th>
|
|
|
|
<th>[\#76](https://gitlab.haskell.org//haskell/prime/issues/76)</th>
|
|
|
|
<th> top-level bang patterns
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> interaction with ! as an operator
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> bang-pattern polymorphism
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> existentials and bang patterns
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add [NewPragmas](new-pragmas)</th>
|
|
|
|
<th>[\#51](https://gitlab.haskell.org//haskell/prime/issues/51)</th>
|
|
|
|
<th> choose specific pragmas to standardize
|
|
|
|
</th></tr>
|
|
|
|
<tr><th>[FlexibleInstances](flexible-instances)</th>
|
|
|
|
<th>[\#32](https://gitlab.haskell.org//haskell/prime/issues/32)</th>
|
|
|
|
<th> choice of instance conditions for termination of typechecking
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> poor interaction with [NewtypeDeriving](newtype-deriving)?
|
|
|
|
</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> permit qualified identifiers in definitions?
|
|
|
|
</th></tr>
|
|
|
|
<tr><th>[NondecreasingIndentation](nondecreasing-indentation)</th>
|
|
|
|
<th>[\#53](https://gitlab.haskell.org//haskell/prime/issues/53)</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> allow [TypeSynonymInstances](type-synonym-instances)</th>
|
|
|
|
<th>[\#70](https://gitlab.haskell.org//haskell/prime/issues/70)</th>
|
|
|
|
<th> superseded by [NewtypeDeriving](newtype-deriving)?
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Not very useful without [FlexibleInstances](flexible-instances) and/or [OverlappingInstances](overlapping-instances)</th></tr></table>
|
|
|
|
|
|
|
|
### Undecided Proposals
|
|
### Undecided Proposals
|
|
|
|
|
|
<table><tr><th>[DerivingInstances](deriving-instances)</th>
|
|
<table><tr><th>[DerivingInstances](deriving-instances)</th>
|
... | @@ -333,6 +272,70 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -333,6 +272,70 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<tr><th> more liberal kind inference </th>
|
|
<tr><th> more liberal kind inference </th>
|
|
<th>[\#85](https://gitlab.haskell.org//haskell/prime/issues/85)</th>
|
|
<th>[\#85](https://gitlab.haskell.org//haskell/prime/issues/85)</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> 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> scope of default clauses
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> impact on existing defaults
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> generalized deriving for newtype ([NewtypeDeriving](newtype-deriving)) </th>
|
|
|
|
<th>[\#52](https://gitlab.haskell.org//haskell/prime/issues/52)</th>
|
|
|
|
<th> specification that does not use the term "the same representation"
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> overlap with [TypeSynonymInstances](type-synonym-instances)</th></tr>
|
|
|
|
<tr><th>[BangPatterns](bang-patterns)</th>
|
|
|
|
<th>[\#76](https://gitlab.haskell.org//haskell/prime/issues/76)</th>
|
|
|
|
<th> top-level bang patterns
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> interaction with ! as an operator
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> bang-pattern polymorphism
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> existentials and bang patterns
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> interaction with [MonomorphicPatternBindings](monomorphic-pattern-bindings)</th></tr>
|
|
|
|
<tr><th> add [NewPragmas](new-pragmas)</th>
|
|
|
|
<th>[\#51](https://gitlab.haskell.org//haskell/prime/issues/51)</th>
|
|
|
|
<th> choose specific pragmas to standardize
|
|
|
|
</th></tr>
|
|
|
|
<tr><th>[FlexibleInstances](flexible-instances)</th>
|
|
|
|
<th>[\#32](https://gitlab.haskell.org//haskell/prime/issues/32)</th>
|
|
|
|
<th> choice of instance conditions for termination of typechecking
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> poor interaction with [NewtypeDeriving](newtype-deriving)?
|
|
|
|
</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> permit qualified identifiers in definitions?
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> interaction with [CompositionAsDot](composition-as-dot)</th></tr>
|
|
|
|
<tr><th> allow [TypeSynonymInstances](type-synonym-instances)</th>
|
|
|
|
<th>[\#70](https://gitlab.haskell.org//haskell/prime/issues/70)</th>
|
|
|
|
<th> superseded by [NewtypeDeriving](newtype-deriving)?
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Not very useful without [FlexibleInstances](flexible-instances) and/or [OverlappingInstances](overlapping-instances)</th></tr>
|
|
<tr><th>[DoAndIfThenElse](do-and-if-then-else) for case-statements too? </th>
|
|
<tr><th>[DoAndIfThenElse](do-and-if-then-else) for case-statements too? </th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th></tr></table> |
|
<th></th></tr></table> |
|
|
|
\ No newline at end of file |