| ... | ... | @@ -71,9 +71,54 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
### Rejected Proposals
|
|
|
|
|
|
|
|
|
|
|
|
<table><tr><th> add Linear implicit params </th>
|
|
|
|
<table><tr><th> Class aliases </th>
|
|
|
|
<th> [\#101](https://gitlab.haskell.org//haskell/prime/issues/101)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add closed classes </th>
|
|
|
|
<th> [\#18](https://gitlab.haskell.org//haskell/prime/issues/18)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add implicit parameters </th>
|
|
|
|
<th> [\#38](https://gitlab.haskell.org//haskell/prime/issues/38)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> allow tuple sections </th>
|
|
|
|
<th> [\#69](https://gitlab.haskell.org//haskell/prime/issues/69)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add [MultiWayIf](multi-way-if) </th>
|
|
|
|
<th> [\#77](https://gitlab.haskell.org//haskell/prime/issues/77)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add Linear implicit params </th>
|
|
|
|
<th> [\#43](https://gitlab.haskell.org//haskell/prime/issues/43)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add views </th>
|
|
|
|
<th> [\#73](https://gitlab.haskell.org//haskell/prime/issues/73)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> control export and import of class instances </th>
|
|
|
|
<th> [\#19](https://gitlab.haskell.org//haskell/prime/issues/19)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> Allow import declarations anywhere at the top level </th>
|
|
|
|
<th> [\#82](https://gitlab.haskell.org//haskell/prime/issues/82)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> Replace named fields with an extensible record system </th>
|
|
|
|
<th> [\#100](https://gitlab.haskell.org//haskell/prime/issues/100)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> Move existing named field (record) system to an addendum </th>
|
|
|
|
<th> [\#99](https://gitlab.haskell.org//haskell/prime/issues/99)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> Require explicit quantification on all expression bound type signatures </th>
|
|
|
|
<th> [\#28](https://gitlab.haskell.org//haskell/prime/issues/28)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add [LambdaCase](lambda-case) </th>
|
|
|
|
<th> [\#41](https://gitlab.haskell.org//haskell/prime/issues/41)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add [MagicUnderscore](magic-underscore) </th>
|
|
|
|
<th> [\#44](https://gitlab.haskell.org//haskell/prime/issues/44)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> allow data constructors to be exported and imported readonly </th>
|
|
|
|
<th> [\#62](https://gitlab.haskell.org//haskell/prime/issues/62)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add [PartialTypeAnnotations](partial-type-annotations) </th>
|
|
|
|
<th> [\#86](https://gitlab.haskell.org//haskell/prime/issues/86)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add [Arrows](arrows) </th>
|
|
|
|
<th> [\#13](https://gitlab.haskell.org//haskell/prime/issues/13)
|
|
|
|
</th></tr>
|
| ... | ... | @@ -170,34 +215,30 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
### Undecided Proposals
|
|
|
|
|
|
|
|
|
|
|
|
<table><tr><th> [MonomorphicPatternBindings](monomorphic-pattern-bindings) </th>
|
|
|
|
<th> [\#103](https://gitlab.haskell.org//haskell/prime/issues/103)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> Class aliases </th>
|
|
|
|
<th> [\#101](https://gitlab.haskell.org//haskell/prime/issues/101)
|
|
|
|
<table><tr><th> Remove class context on data definitions </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> see [RemovalCandidates](removal-candidates)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> Remove \~ patterns </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> see [RemovalCandidates](removal-candidates)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> Remove n+k patterns () </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> see [RemovalCandidates](removal-candidates)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> namespace cleanup: [TagExportsWithNamespace](tag-exports-with-namespace), [ModuleSystem](module-system) </th>
|
|
|
|
<th>
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> add closed classes </th>
|
|
|
|
<th> [\#18](https://gitlab.haskell.org//haskell/prime/issues/18)
|
|
|
|
<tr><th> [MonomorphicPatternBindings](monomorphic-pattern-bindings) </th>
|
|
|
|
<th> [\#103](https://gitlab.haskell.org//haskell/prime/issues/103)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> add Associated Types </th>
|
|
|
|
<th> [\#14](https://gitlab.haskell.org//haskell/prime/issues/14)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> add implicit parameters </th>
|
|
|
|
<th> [\#38](https://gitlab.haskell.org//haskell/prime/issues/38)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> allow tuple sections </th>
|
|
|
|
<th> [\#69](https://gitlab.haskell.org//haskell/prime/issues/69)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> add [MultiWayIf](multi-way-if) </th>
|
|
|
|
<th> [\#77](https://gitlab.haskell.org//haskell/prime/issues/77)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> add [FunctionalDependencies](functional-dependencies) </th>
|
|
|
|
<th> [\#36](https://gitlab.haskell.org//haskell/prime/issues/36)
|
|
|
|
</th>
|
| ... | ... | @@ -210,10 +251,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
<th> [\#71](https://gitlab.haskell.org//haskell/prime/issues/71)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> add views </th>
|
|
|
|
<th> [\#73](https://gitlab.haskell.org//haskell/prime/issues/73)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> add GADTs </th>
|
|
|
|
<th> [\#37](https://gitlab.haskell.org//haskell/prime/issues/37)
|
|
|
|
</th>
|
| ... | ... | @@ -230,38 +267,18 @@ 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></th></tr>
|
|
|
|
<tr><th> control export and import of class instances </th>
|
|
|
|
<th> [\#19](https://gitlab.haskell.org//haskell/prime/issues/19)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> unified and extensible annotations </th>
|
|
|
|
<th> [\#88](https://gitlab.haskell.org//haskell/prime/issues/88)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> Allow import declarations anywhere at the top level </th>
|
|
|
|
<th> [\#82](https://gitlab.haskell.org//haskell/prime/issues/82)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> Reform the monomorphism restriction </th>
|
|
|
|
<tr><th> Reform the [MonomorphismRestriction](monomorphism-restriction) </th>
|
|
|
|
<th> [\#80](https://gitlab.haskell.org//haskell/prime/issues/80)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> Replace named fields with an extensible record system </th>
|
|
|
|
<th> [\#100](https://gitlab.haskell.org//haskell/prime/issues/100)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> Move existing named field (record) system to an addendum </th>
|
|
|
|
<th> [\#99](https://gitlab.haskell.org//haskell/prime/issues/99)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> add First Class Labels </th>
|
|
|
|
<th> [\#92](https://gitlab.haskell.org//haskell/prime/issues/92)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> Require explicit quantification on all expression bound type signatures </th>
|
|
|
|
<th> [\#28](https://gitlab.haskell.org//haskell/prime/issues/28)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> add Blockable </th>
|
|
|
|
<th> [\#33](https://gitlab.haskell.org//haskell/prime/issues/33)
|
|
|
|
</th>
|
| ... | ... | @@ -270,14 +287,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
<th> [\#34](https://gitlab.haskell.org//haskell/prime/issues/34)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> add [LambdaCase](lambda-case) </th>
|
|
|
|
<th> [\#41](https://gitlab.haskell.org//haskell/prime/issues/41)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> add [MagicUnderscore](magic-underscore) </th>
|
|
|
|
<th> [\#44](https://gitlab.haskell.org//haskell/prime/issues/44)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> clarify module system proposals </th>
|
|
|
|
<th> [\#48](https://gitlab.haskell.org//haskell/prime/issues/48)
|
|
|
|
</th>
|
| ... | ... | @@ -290,18 +299,10 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
<th> [\#55](https://gitlab.haskell.org//haskell/prime/issues/55)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> 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></th></tr>
|
|
|
|
<tr><th> allow data constructors to be exported and imported readonly </th>
|
|
|
|
<th> [\#62](https://gitlab.haskell.org//haskell/prime/issues/62)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> add [PartialTypeAnnotations](partial-type-annotations) </th>
|
|
|
|
<th> [\#86](https://gitlab.haskell.org//haskell/prime/issues/86)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> improve module interfaces </th>
|
|
|
|
<th> [\#95](https://gitlab.haskell.org//haskell/prime/issues/95)
|
|
|
|
</th>
|
| ... | ... | @@ -322,10 +323,10 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
<th> [\#72](https://gitlab.haskell.org//haskell/prime/issues/72)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> Natural numbers </th>
|
|
|
|
<th> [\#79](https://gitlab.haskell.org//haskell/prime/issues/79)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> [Natural](natural) numbers </th>
|
|
|
|
<th> [\#79](https://gitlab.haskell.org//haskell/prime/issues/79) </th>
|
|
|
|
<th> [ http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html](http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add Flexible Contexts </th>
|
|
|
|
<th> [\#31](https://gitlab.haskell.org//haskell/prime/issues/31)
|
|
|
|
</th>
|
| ... | ... | @@ -518,10 +519,10 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
<th> [\#31](https://gitlab.haskell.org//haskell/prime/issues/31)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> Natural numbers </th>
|
|
|
|
<th> [\#79](https://gitlab.haskell.org//haskell/prime/issues/79)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> [Natural](natural) numbers </th>
|
|
|
|
<th> [\#79](https://gitlab.haskell.org//haskell/prime/issues/79) </th>
|
|
|
|
<th> [ http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html](http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> Make underscore 'caseless' </th>
|
|
|
|
<th> [\#72](https://gitlab.haskell.org//haskell/prime/issues/72)
|
|
|
|
</th>
|
| ... | ... | @@ -550,7 +551,7 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
<th> [\#62](https://gitlab.haskell.org//haskell/prime/issues/62)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> 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></th></tr>
|
| ... | ... | @@ -598,7 +599,7 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
<th> [\#100](https://gitlab.haskell.org//haskell/prime/issues/100)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> Reform the monomorphism restriction </th>
|
|
|
|
<tr><th> Reform the [MonomorphismRestriction](monomorphism-restriction) </th>
|
|
|
|
<th> [\#80](https://gitlab.haskell.org//haskell/prime/issues/80)
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
| ... | ... | @@ -677,6 +678,22 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
<tr><th> [MonomorphicPatternBindings](monomorphic-pattern-bindings) </th>
|
|
|
|
<th> [\#103](https://gitlab.haskell.org//haskell/prime/issues/103)
|
|
|
|
</th>
|
|
|
|
<th></th></tr></table>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> namespace cleanup: [TagExportsWithNamespace](tag-exports-with-namespace), [ModuleSystem](module-system) </th>
|
|
|
|
<th>
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> Remove n+k patterns () </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> see [RemovalCandidates](removal-candidates)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> Remove \~ patterns </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> see [RemovalCandidates](removal-candidates)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> Remove class context on data definitions </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> see [RemovalCandidates](removal-candidates)
|
|
|
|
</th></tr></table>
|
|
|
|
|
|
|
|
|
