| ... | @@ -48,209 +48,174 @@ since we have a substantial amount of work to do there which requires focused at |
... | @@ -48,209 +48,174 @@ since we have a substantial amount of work to do there which requires focused at |
|
|
## "definitely-in" Proposal Status
|
|
## "definitely-in" Proposal Status
|
|
|
|
|
|
|
|
|
|
|
|
|
<table><tr><th> Description </th>
|
|
<table><tr><th> Description </th>
|
|
|
<th> Ticket </th>
|
|
<th> Ticket </th>
|
|
|
<th> Writers </th>
|
|
<th> Writers </th>
|
|
|
<th> Draft report text </th>
|
|
<th> Draft report text </th>
|
|
|
<th> Decisions made </th>
|
|
<th> Currently open issues
|
|
|
<th> Currently open issues
|
|
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th>
|
|
|
<th> </th>
|
|
</th>
|
|
|
<th>
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
<tr><th> add some kind of [Concurrency](concurrency) </th>
|
|
|
<tr><th> add some kind of [Concurrency](concurrency) </th>
|
|
|
|
|
<th> [\#74](https://gitlab.haskell.org//haskell/prime/issues/74) </th>
|
|
<th> [\#74](https://gitlab.haskell.org//haskell/prime/issues/74) </th>
|
|
|
<th> IJ, SM </th>
|
|
<th> IJ, SM </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> - basic concurrency interfaces </th>
|
|
<th> cooperative or preemptive
|
|
|
<th> - cooperative or preemptive
|
|
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> - concurrent and reentrant foreign calls </th>
|
|
<th> foreign call annotation syntax
|
|
|
<th> - foreign call annotation syntax
|
|
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> - bound threads as a specified extension </th>
|
|
<th> semantics of IORefs
|
|
|
<th> - semantics of IORefs
|
|
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th>
|
|
|
<th> </th>
|
|
</th>
|
|
|
<th>
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
<tr><th> add [ForeignFunctionInterface](foreign-function-interface) </th>
|
|
|
<tr><th> add [ForeignFunctionInterface](foreign-function-interface) </th>
|
|
|
|
|
<th> [\#35](https://gitlab.haskell.org//haskell/prime/issues/35) </th>
|
|
<th> [\#35](https://gitlab.haskell.org//haskell/prime/issues/35) </th>
|
|
|
<th> MC, SM </th>
|
|
<th> MC, SM </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> - additional C99 types and casts </th>
|
|
<th> transparent marshalling of newtypes
|
|
|
<th> - transparent marshalling of newtypes
|
|
|
|
|
</th></tr>
|
|
|
|
|
<tr><th> </th>
|
|
|
|
|
<th> </th>
|
|
|
|
|
<th> </th>
|
|
|
|
|
<th> </th>
|
|
|
|
|
<th> - add signed and unsigned char casts </th>
|
|
|
|
|
<th>
|
|
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th>
|
|
|
<th> </th>
|
|
</th>
|
|
|
<th>
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
<tr><th> add multi-parameter type classes </th>
|
|
|
<tr><th> add multi-parameter type classes </th>
|
|
|
|
|
<th> [\#49](https://gitlab.haskell.org//haskell/prime/issues/49) </th>
|
|
<th> [\#49](https://gitlab.haskell.org//haskell/prime/issues/49) </th>
|
|
|
<th> MS </th>
|
|
<th> MS </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> - in assuming there is a suitable mechanism for type-indexed types </th>
|
|
<th> [MultiParamTypeClassesDilemma](multi-param-type-classes-dilemma)
|
|
|
<th> - [MultiParamTypeClassesDilemma](multi-param-type-classes-dilemma)
|
|
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th>
|
|
|
<th> </th>
|
|
</th>
|
|
|
<th>
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
<tr><th> add RankNTypes or Rank2Types </th>
|
|
|
<tr><th> add RankNTypes or Rank2Types </th>
|
|
|
|
|
<th> [\#60](https://gitlab.haskell.org//haskell/prime/issues/60) </th>
|
|
<th> [\#60](https://gitlab.haskell.org//haskell/prime/issues/60) </th>
|
|
|
<th> AL </th>
|
|
<th> AL </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> RankN or Rank2?
|
|
|
<th> - RankN or Rank2?
|
|
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th>
|
|
|
<th> </th>
|
|
</th>
|
|
|
<th>
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
<tr><th> add [PolymorphicComponents](polymorphic-components) </th>
|
|
|
<tr><th> add [PolymorphicComponents](polymorphic-components) </th>
|
|
|
|
|
<th> [\#57](https://gitlab.haskell.org//haskell/prime/issues/57) </th>
|
|
<th> [\#57](https://gitlab.haskell.org//haskell/prime/issues/57) </th>
|
|
|
<th> AL </th>
|
|
<th> AL </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> dependency on Rank2Types or RankNTypes
|
|
|
<th> - dependency on Rank2Types or RankNTypes
|
|
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th>
|
|
|
<th> </th>
|
|
</th>
|
|
|
<th>
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
|
|
|
<tr><th> add [ExistentialQuantification](existential-quantification) (existential components) </th>
|
|
<tr><th> add [ExistentialQuantification](existential-quantification) (existential components) </th>
|
|
|
<th> [\#26](https://gitlab.haskell.org//haskell/prime/issues/26) </th>
|
|
<th> [\#26](https://gitlab.haskell.org//haskell/prime/issues/26) </th>
|
|
|
<th> AL, MS, SJT </th>
|
|
<th> AL, MS, SJT </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> syntax of existentials
|
|
|
<th>
|
|
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th>
|
|
|
<th> </th>
|
|
</th>
|
|
|
<th>
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
<tr><th> add [HierarchicalModules](hierarchical-modules) </th>
|
|
|
<tr><th> add [HierarchicalModules](hierarchical-modules) </th>
|
|
|
|
|
<th> [\#24](https://gitlab.haskell.org//haskell/prime/issues/24) </th>
|
|
<th> [\#24](https://gitlab.haskell.org//haskell/prime/issues/24) </th>
|
|
|
<th> IJ, BH </th>
|
|
<th> IJ, BH </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> None
|
|
|
<th> None
|
|
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th>
|
|
|
<th> </th>
|
|
</th>
|
|
|
<th>
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
<tr><th> add [EmptyDataDeclarations](empty-data-declarations) </th>
|
|
|
<tr><th> add [EmptyDataDeclarations](empty-data-declarations) </th>
|
|
|
|
|
<th> [\#25](https://gitlab.haskell.org//haskell/prime/issues/25) </th>
|
|
<th> [\#25](https://gitlab.haskell.org//haskell/prime/issues/25) </th>
|
|
|
<th> BH, HN </th>
|
|
<th> BH, HN </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> dependency on [KindAnnotations](kind-annotations)
|
|
|
<th> - dependency on [KindAnnotations](kind-annotations)
|
|
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th>
|
|
|
<th> </th>
|
|
</th>
|
|
|
<th>
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
<tr><th> [DoAndIfThenElse](do-and-if-then-else) </th>
|
|
|
<tr><th> [DoAndIfThenElse](do-and-if-then-else) </th>
|
|
|
|
|
<th> [\#23](https://gitlab.haskell.org//haskell/prime/issues/23) </th>
|
|
<th> [\#23](https://gitlab.haskell.org//haskell/prime/issues/23) </th>
|
|
|
<th> SM, HN </th>
|
|
<th> SM, HN </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> None
|
|
|
<th> None
|
|
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th>
|
|
|
<th> </th>
|
|
</th>
|
|
|
<th>
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
<tr><th> fix comment syntax grammar </th>
|
|
|
<tr><th> fix comment syntax grammar </th>
|
|
|
|
|
<th> [\#42](https://gitlab.haskell.org//haskell/prime/issues/42) </th>
|
|
<th> [\#42](https://gitlab.haskell.org//haskell/prime/issues/42) </th>
|
|
|
<th> SM </th>
|
|
<th> SM </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> None
|
|
|
<th> None
|
|
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th>
|
|
|
<th> </th>
|
|
</th>
|
|
|
<th>
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
<tr><th> add [PatternGuards](pattern-guards) </th>
|
|
|
<tr><th> add [PatternGuards](pattern-guards) </th>
|
|
|
|
|
<th> [\#56](https://gitlab.haskell.org//haskell/prime/issues/56) </th>
|
|
<th> [\#56](https://gitlab.haskell.org//haskell/prime/issues/56) </th>
|
|
|
<th> RN, DS </th>
|
|
<th> RN, DS </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> None
|
|
|
<th> None
|
|
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th>
|
|
|
<th> </th>
|
|
</th>
|
|
|
<th>
|
|
<th></th></tr>
|
|
|
</th></tr>
|
|
<tr><th> add [InfixTypeConstructors](infix-type-constructors) </th>
|
|
|
<tr><th> add [InfixTypeConstructors](infix-type-constructors) </th>
|
|
|
|
|
<th> [\#78](https://gitlab.haskell.org//haskell/prime/issues/78) </th>
|
|
<th> [\#78](https://gitlab.haskell.org//haskell/prime/issues/78) </th>
|
|
|
<th> BH, AL </th>
|
|
<th> BH, AL </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> None
|
|
|
<th> None
|
|
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
<tr><th> </th>
|
|
<tr><th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th> </th>
|
|
|
<th> </th>
|
|
<th>
|
|
|
<th> </th>
|
|
</th>
|
|
|
<th>
|
|
<th></th></tr></table>
|
|
|
</th></tr></table>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| ... | | ... | |
