... | ... | @@ -55,8 +55,38 @@ 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>
|
|
|
<tr><th>[ImpreciseExceptions](imprecise-exceptions)</th>
|
... | ... | @@ -142,27 +172,24 @@ 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)</th>
|
|
|
<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)</th>
|
|
|
<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>
|
|
|
<th></th></tr>
|
... | ... | @@ -172,9 +199,6 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<tr><th> Allow Undecidable Instances </th>
|
|
|
<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>
|
|
|
<th></th></tr>
|
... | ... | @@ -187,42 +211,21 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<tr><th> relax restriction on signatures of class methods </th>
|
|
|
<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>
|
|
|
<th></th></tr>
|
|
|
<tr><th> add [ForeignData](foreign-data)</th>
|
|
|
<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>
|
|
|
<th></th></tr>
|
... | ... | @@ -232,15 +235,9 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<tr><th> add Parallel List comprehensions </th>
|
|
|
<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>
|
|
|
<th></th></tr>
|
... | ... | @@ -256,9 +253,9 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<tr><th> Make underscore 'caseless' </th>
|
|
|
<th>[\#72](https://gitlab.haskell.org//haskell/prime/issues/72)</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> Natural numbers </th>
|
|
|
<tr><th>[Natural](natural) numbers </th>
|
|
|
<th>[\#79](https://gitlab.haskell.org//haskell/prime/issues/79)</th>
|
|
|
<th></th></tr>
|
|
|
<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>
|
|
|
<th></th></tr>
|
... | ... | @@ -423,9 +420,9 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<tr><th> add Flexible Contexts </th>
|
|
|
<th>[\#31](https://gitlab.haskell.org//haskell/prime/issues/31)</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> Natural numbers </th>
|
|
|
<tr><th>[Natural](natural) numbers </th>
|
|
|
<th>[\#79](https://gitlab.haskell.org//haskell/prime/issues/79)</th>
|
|
|
<th></th></tr>
|
|
|
<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>
|
|
|
<th></th></tr>
|
... | ... | @@ -447,7 +444,7 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<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> 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> add Parallel List comprehensions </th>
|
... | ... | @@ -483,7 +480,7 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<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> 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> Allow import declarations anywhere at the top level </th>
|
... | ... | @@ -542,4 +539,16 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
<th></th></tr>
|
|
|
<tr><th>[MonomorphicPatternBindings](monomorphic-pattern-bindings)</th>
|
|
|
<th>[\#103](https://gitlab.haskell.org//haskell/prime/issues/103)</th>
|
|
|
<th></th></tr></table> |
|
|
\ No newline at end of file |
|
|
<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> |
|
|
\ No newline at end of file |