|
|
|
## Haskell' Status Page
|
|
|
|
|
|
This is just a link to the [Status'](status') page, which is the official status page for Haskell'.
|
|
|
|
|
|
|
|
|
|
DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org/haskell-prime-status/status.hs](http://darcs.haskell.org/haskell-prime-status/status.hs)
|
|
|
|
|
|
|
|
|
|
|
|
<table><tr><th> add [Concurrency](concurrency) </th>
|
|
|
|
<th> [\#74](https://gitlab.haskell.org//haskell/prime/issues/74) </th>
|
|
|
|
<th> accepted </th>
|
|
|
|
<th> draft text: [Concurrency/DraftReportText](concurrency/draft-report-text)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add [ForeignFunctionInterface](foreign-function-interface) </th>
|
|
|
|
<th> [\#35](https://gitlab.haskell.org//haskell/prime/issues/35) </th>
|
|
|
|
<th> accepted
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> add multi-parameter type classes ([MultiParamTypeClasses](multi-param-type-classes)) </th>
|
|
|
|
<th> [\#49](https://gitlab.haskell.org//haskell/prime/issues/49) </th>
|
|
|
|
<th> accepted </th>
|
|
|
|
<th> see [MultiParamTypeClassesDilemma](multi-param-type-classes-dilemma)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add RankNTypes or Rank2Types </th>
|
|
|
|
<th> [\#60](https://gitlab.haskell.org//haskell/prime/issues/60) </th>
|
|
|
|
<th> accepted </th>
|
|
|
|
<th> RankN or Rank2?
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add [PolymorphicComponents](polymorphic-components) </th>
|
|
|
|
<th> [\#57](https://gitlab.haskell.org//haskell/prime/issues/57) </th>
|
|
|
|
<th> accepted </th>
|
|
|
|
<th> Draft available
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> dependency on Rank2Types or RankNTypes
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add [ExistentialQuantification](existential-quantification) (existential components) </th>
|
|
|
|
<th> [\#26](https://gitlab.haskell.org//haskell/prime/issues/26) </th>
|
|
|
|
<th> accepted </th>
|
|
|
|
<th> syntax of existentials
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add [HierarchicalModules](hierarchical-modules) </th>
|
|
|
|
<th> [\#24](https://gitlab.haskell.org//haskell/prime/issues/24) </th>
|
|
|
|
<th> accepted </th>
|
|
|
|
<th> See addendum
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add [EmptyDataDeclarations](empty-data-declarations) </th>
|
|
|
|
<th> [\#25](https://gitlab.haskell.org//haskell/prime/issues/25) </th>
|
|
|
|
<th> accepted </th>
|
|
|
|
<th> dependency on [KindAnnotations](kind-annotations)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add [InfixTypeConstructors](infix-type-constructors) </th>
|
|
|
|
<th> [\#78](https://gitlab.haskell.org//haskell/prime/issues/78) </th>
|
|
|
|
<th> accepted
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> remove [FixityResolution](fixity-resolution) from the context-free grammar </th>
|
|
|
|
<th> [\#30](https://gitlab.haskell.org//haskell/prime/issues/30) </th>
|
|
|
|
<th> accepted
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> [ImpreciseExceptions](imprecise-exceptions) </th>
|
|
|
|
<th> [\#39](https://gitlab.haskell.org//haskell/prime/issues/39) </th>
|
|
|
|
<th> rejected
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> [DoAndIfThenElse](do-and-if-then-else) for case-statements too? </th>
|
|
|
|
<th> </th>
|
|
|
|
<th>
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> allow [TypeSynonymInstances](type-synonym-instances) </th>
|
|
|
|
<th> [\#70](https://gitlab.haskell.org//haskell/prime/issues/70) </th>
|
|
|
|
<th> probably-accept </th>
|
|
|
|
<th> superseded by [NewtypeDeriving](newtype-deriving)?
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> Not very useful without [FlexibleInstances](flexible-instances) and/or [OverlappingInstances](overlapping-instances)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> [RelaxedDependencyAnalysis](relaxed-dependency-analysis) </th>
|
|
|
|
<th> [\#65](https://gitlab.haskell.org//haskell/prime/issues/65) </th>
|
|
|
|
<th> probably-accept
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> [NondecreasingIndentation](nondecreasing-indentation) </th>
|
|
|
|
<th> [\#53](https://gitlab.haskell.org//haskell/prime/issues/53) </th>
|
|
|
|
<th> probably-accept
|
|
|
|
</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> probably-accept </th>
|
|
|
|
<th> permit qualified identifiers in definitions?
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> [FlexibleInstances](flexible-instances) </th>
|
|
|
|
<th> [\#32](https://gitlab.haskell.org//haskell/prime/issues/32) </th>
|
|
|
|
<th> probably-accept </th>
|
|
|
|
<th> choice of instance conditions for termination of typechecking
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> poor interaction with [NewtypeDeriving](newtype-deriving)?
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> add [NewPragmas](new-pragmas) </th>
|
|
|
|
<th> [\#51](https://gitlab.haskell.org//haskell/prime/issues/51) </th>
|
|
|
|
<th> probably-accept </th>
|
|
|
|
<th> choose specific pragmas to standardize
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> make [Underscore](underscore) caseless </th>
|
|
|
|
<th> [\#72](https://gitlab.haskell.org//haskell/prime/issues/72) </th>
|
|
|
|
<th> probably-accept </th>
|
|
|
|
<th> treatment of underscore-only identifiers
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> [BangPatterns](bang-patterns) </th>
|
|
|
|
<th> [\#76](https://gitlab.haskell.org//haskell/prime/issues/76) </th>
|
|
|
|
<th> probably-accept </th>
|
|
|
|
<th> top-level bang patterns
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> interaction with ! as an operator
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> bang-pattern polymorphism
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> existentials and bang patterns
|
|
|
|
</th></tr>
|
|
|
|
<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> probably-accept </th>
|
|
|
|
<th> specification of syntax that binds type variables
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> generalized deriving for newtype ([NewtypeDeriving](newtype-deriving)) </th>
|
|
|
|
<th> [\#52](https://gitlab.haskell.org//haskell/prime/issues/52) </th>
|
|
|
|
<th> probably-accept </th>
|
|
|
|
<th> specification that does not use the term "the same representation"
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> overlap with [TypeSynonymInstances](type-synonym-instances)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> improve [Defaulting](defaulting) rules </th>
|
|
|
|
<th> [\#21](https://gitlab.haskell.org//haskell/prime/issues/21) </th>
|
|
|
|
<th> probably-accept </th>
|
|
|
|
<th> scope of default clauses
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> impact on existing defaults
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> [KindAnnotations](kind-annotations) </th>
|
|
|
|
<th> [\#84](https://gitlab.haskell.org//haskell/prime/issues/84) </th>
|
|
|
|
<th> probably-accept
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> [MonomorphicPatternBindings](monomorphic-pattern-bindings) </th>
|
|
|
|
<th> [\#10](https://gitlab.haskell.org//haskell/prime/issues/10) [\#3](https://gitlab.haskell.org//haskell/prime/issues/3) </th>
|
|
|
|
<th> probably-accept </th>
|
|
|
|
<th> treatment of pattern bindings with explicit type signatures
|
|
|
|
</th></tr>
|
|
|
|
<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> add [PatternGuards](pattern-guards) </th>
|
|
|
|
<th> [\#56](https://gitlab.haskell.org//haskell/prime/issues/56) </th>
|
|
|
|
<th> done
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> [DoAndIfThenElse](do-and-if-then-else) </th>
|
|
|
|
<th> [\#23](https://gitlab.haskell.org//haskell/prime/issues/23) </th>
|
|
|
|
<th> done
|
|
|
|
</th>
|
|
|
|
<th></th></tr></table>
|
|
|
|
|
|
|
|
|