... | @@ -7,64 +7,50 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -7,64 +7,50 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
|
|
|
|
<table><tr><th> remove [FixityResolution](fixity-resolution) from the context-free grammar </th>
|
|
<table><tr><th> remove [FixityResolution](fixity-resolution) from the context-free grammar </th>
|
|
<th>[\#30](https://gitlab.haskell.org//haskell/prime/issues/30)</th>
|
|
<th>[\#30](https://gitlab.haskell.org//haskell/prime/issues/30)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></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></th>
|
|
|
|
<th></th></tr>
|
|
<th></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> dependency on [KindAnnotations](kind-annotations)</th>
|
|
<th> dependency on [KindAnnotations](kind-annotations)</th></tr>
|
|
<th></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> See addendum
|
|
<th> See addendum
|
|
</th>
|
|
</th></tr>
|
|
<th></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> syntax of existentials
|
|
<th> syntax of existentials
|
|
</th>
|
|
</th></tr>
|
|
<th></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> Draft available
|
|
<th> Draft available
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th></th>
|
|
<tr><th></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> add [RankNTypes](rank-n-types) or [Rank2Types](rank2-types)</th>
|
|
<tr><th> add [RankNTypes](rank-n-types) or [Rank2Types](rank2-types)</th>
|
|
<th>[\#60](https://gitlab.haskell.org//haskell/prime/issues/60)</th>
|
|
<th>[\#60](https://gitlab.haskell.org//haskell/prime/issues/60)</th>
|
|
<th> RankN or Rank2?
|
|
<th> RankN or Rank2?
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th> add multi-parameter type classes ([MultiParamTypeClasses](multi-param-type-classes)) </th>
|
|
<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>[\#49](https://gitlab.haskell.org//haskell/prime/issues/49)</th>
|
|
<th> see [MultiParamTypeClassesDilemma](multi-param-type-classes-dilemma)</th>
|
|
<th> see [MultiParamTypeClassesDilemma](multi-param-type-classes-dilemma)</th></tr>
|
|
<th></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></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add [Concurrency](concurrency)</th>
|
|
<tr><th> add [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> draft text: [Concurrency/DraftReportText](concurrency/draft-report-text)</th>
|
|
<th> draft text: [Concurrency/DraftReportText](concurrency/draft-report-text)</th></tr>
|
|
<th></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></th>
|
|
|
|
<th></th></tr>
|
|
<th></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></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> fix comment syntax grammar ([LineCommentSyntax](line-comment-syntax)) </th>
|
|
<tr><th> fix comment syntax grammar ([LineCommentSyntax](line-comment-syntax)) </th>
|
|
<th>[\#42](https://gitlab.haskell.org//haskell/prime/issues/42)</th>
|
|
<th>[\#42](https://gitlab.haskell.org//haskell/prime/issues/42)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr></table>
|
|
<th></th></tr></table>
|
|
|
|
|
|
### Rejected Proposals
|
|
### Rejected Proposals
|
... | @@ -79,630 +65,482 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
... | @@ -79,630 +65,482 @@ DO NOT EDIT! This page is automatically generated by [ http://darcs.haskell.org |
|
<table><tr><th>[MonomorphicPatternBindings](monomorphic-pattern-bindings)</th>
|
|
<table><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>[\#10](https://gitlab.haskell.org//haskell/prime/issues/10)[\#3](https://gitlab.haskell.org//haskell/prime/issues/3)</th>
|
|
<th> treatment of pattern bindings with explicit type signatures
|
|
<th> treatment of pattern bindings with explicit type signatures
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th>[KindAnnotations](kind-annotations)</th>
|
|
<tr><th>[KindAnnotations](kind-annotations)</th>
|
|
<th>[\#84](https://gitlab.haskell.org//haskell/prime/issues/84)</th>
|
|
<th>[\#84](https://gitlab.haskell.org//haskell/prime/issues/84)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> improve [Defaulting](defaulting) rules </th>
|
|
<tr><th> improve [Defaulting](defaulting) rules </th>
|
|
<th>[\#21](https://gitlab.haskell.org//haskell/prime/issues/21)</th>
|
|
<th>[\#21](https://gitlab.haskell.org//haskell/prime/issues/21)</th>
|
|
<th> scope of default clauses
|
|
<th> scope of default clauses
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th></th>
|
|
<tr><th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
|
|
<th> impact on existing defaults
|
|
<th> impact on existing defaults
|
|
</th></tr>
|
|
</th></tr>
|
|
<tr><th> generalized deriving for newtype ([NewtypeDeriving](newtype-deriving)) </th>
|
|
<tr><th> generalized deriving for newtype ([NewtypeDeriving](newtype-deriving)) </th>
|
|
<th>[\#52](https://gitlab.haskell.org//haskell/prime/issues/52)</th>
|
|
<th>[\#52](https://gitlab.haskell.org//haskell/prime/issues/52)</th>
|
|
<th> specification that does not use the term "the same representation"
|
|
<th> specification that does not use the term "the same representation"
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th></th>
|
|
<tr><th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
|
|
<th> overlap with [TypeSynonymInstances](type-synonym-instances)</th></tr>
|
|
<th> overlap with [TypeSynonymInstances](type-synonym-instances)</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>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th>[BangPatterns](bang-patterns)</th>
|
|
<tr><th>[BangPatterns](bang-patterns)</th>
|
|
<th>[\#76](https://gitlab.haskell.org//haskell/prime/issues/76)</th>
|
|
<th>[\#76](https://gitlab.haskell.org//haskell/prime/issues/76)</th>
|
|
<th> top-level bang patterns
|
|
<th> top-level bang patterns
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th></th>
|
|
<tr><th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
|
|
<th> interaction with ! as an operator
|
|
<th> interaction with ! as an operator
|
|
</th></tr>
|
|
</th></tr>
|
|
<tr><th></th>
|
|
<tr><th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
|
|
<th> bang-pattern polymorphism
|
|
<th> bang-pattern polymorphism
|
|
</th></tr>
|
|
</th></tr>
|
|
<tr><th></th>
|
|
<tr><th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
|
|
<th> existentials and bang patterns
|
|
<th> existentials and bang patterns
|
|
</th></tr>
|
|
</th></tr>
|
|
<tr><th> make [Underscore](underscore) caseless </th>
|
|
<tr><th> make [Underscore](underscore) caseless </th>
|
|
<th>[\#72](https://gitlab.haskell.org//haskell/prime/issues/72)</th>
|
|
<th>[\#72](https://gitlab.haskell.org//haskell/prime/issues/72)</th>
|
|
<th> treatment of underscore-only identifiers
|
|
<th> treatment of underscore-only identifiers
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th> add [NewPragmas](new-pragmas)</th>
|
|
<tr><th> add [NewPragmas](new-pragmas)</th>
|
|
<th>[\#51](https://gitlab.haskell.org//haskell/prime/issues/51)</th>
|
|
<th>[\#51](https://gitlab.haskell.org//haskell/prime/issues/51)</th>
|
|
<th> choose specific pragmas to standardize
|
|
<th> choose specific pragmas to standardize
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th>[FlexibleInstances](flexible-instances)</th>
|
|
<tr><th>[FlexibleInstances](flexible-instances)</th>
|
|
<th>[\#32](https://gitlab.haskell.org//haskell/prime/issues/32)</th>
|
|
<th>[\#32](https://gitlab.haskell.org//haskell/prime/issues/32)</th>
|
|
<th> choice of instance conditions for termination of typechecking
|
|
<th> choice of instance conditions for termination of typechecking
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th></th>
|
|
<tr><th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
|
|
<th> poor interaction with [NewtypeDeriving](newtype-deriving)?
|
|
<th> poor interaction with [NewtypeDeriving](newtype-deriving)?
|
|
</th></tr>
|
|
</th></tr>
|
|
<tr><th> fix the lexical syntax for [QualifiedIdentifiers](qualified-identifiers)</th>
|
|
<tr><th> fix the lexical syntax for [QualifiedIdentifiers](qualified-identifiers)</th>
|
|
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
|
|
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
|
|
<th> permit qualified identifiers in definitions?
|
|
<th> permit qualified identifiers in definitions?
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th>[NondecreasingIndentation](nondecreasing-indentation)</th>
|
|
<tr><th>[NondecreasingIndentation](nondecreasing-indentation)</th>
|
|
<th>[\#53](https://gitlab.haskell.org//haskell/prime/issues/53)</th>
|
|
<th>[\#53](https://gitlab.haskell.org//haskell/prime/issues/53)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<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>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> allow [TypeSynonymInstances](type-synonym-instances)</th>
|
|
<tr><th> allow [TypeSynonymInstances](type-synonym-instances)</th>
|
|
<th>[\#70](https://gitlab.haskell.org//haskell/prime/issues/70)</th>
|
|
<th>[\#70](https://gitlab.haskell.org//haskell/prime/issues/70)</th>
|
|
<th> superseded by [NewtypeDeriving](newtype-deriving)?
|
|
<th> superseded by [NewtypeDeriving](newtype-deriving)?
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th></th>
|
|
<tr><th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
|
|
<th> Not very useful without [FlexibleInstances](flexible-instances) and/or [OverlappingInstances](overlapping-instances)</th></tr></table>
|
|
<th> Not very useful without [FlexibleInstances](flexible-instances) and/or [OverlappingInstances](overlapping-instances)</th></tr></table>
|
|
|
|
|
|
### Undecided Proposals
|
|
### Undecided Proposals
|
|
|
|
|
|
<table><tr><th>[MonomorphicPatternBindings](monomorphic-pattern-bindings)</th>
|
|
<table><tr><th>[MonomorphicPatternBindings](monomorphic-pattern-bindings)</th>
|
|
<th>[\#103](https://gitlab.haskell.org//haskell/prime/issues/103)</th>
|
|
<th>[\#103](https://gitlab.haskell.org//haskell/prime/issues/103)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Class aliases </th>
|
|
<tr><th> Class aliases </th>
|
|
<th>[\#101](https://gitlab.haskell.org//haskell/prime/issues/101)</th>
|
|
<th>[\#101](https://gitlab.haskell.org//haskell/prime/issues/101)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add closed classes </th>
|
|
<tr><th> add closed classes </th>
|
|
<th>[\#18](https://gitlab.haskell.org//haskell/prime/issues/18)</th>
|
|
<th>[\#18](https://gitlab.haskell.org//haskell/prime/issues/18)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add Associated Types </th>
|
|
<tr><th> add Associated Types </th>
|
|
<th>[\#14](https://gitlab.haskell.org//haskell/prime/issues/14)</th>
|
|
<th>[\#14](https://gitlab.haskell.org//haskell/prime/issues/14)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add implicit parameters </th>
|
|
<tr><th> add implicit parameters </th>
|
|
<th>[\#38](https://gitlab.haskell.org//haskell/prime/issues/38)</th>
|
|
<th>[\#38](https://gitlab.haskell.org//haskell/prime/issues/38)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> allow tuple sections </th>
|
|
<tr><th> allow tuple sections </th>
|
|
<th>[\#69](https://gitlab.haskell.org//haskell/prime/issues/69)</th>
|
|
<th>[\#69](https://gitlab.haskell.org//haskell/prime/issues/69)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add [MultiWayIf](multi-way-if)</th>
|
|
<tr><th> add [MultiWayIf](multi-way-if)</th>
|
|
<th>[\#77](https://gitlab.haskell.org//haskell/prime/issues/77)</th>
|
|
<th>[\#77](https://gitlab.haskell.org//haskell/prime/issues/77)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add [FunctionalDependencies](functional-dependencies)</th>
|
|
<tr><th> add [FunctionalDependencies](functional-dependencies)</th>
|
|
<th>[\#36](https://gitlab.haskell.org//haskell/prime/issues/36)</th>
|
|
<th>[\#36](https://gitlab.haskell.org//haskell/prime/issues/36)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add Linear implicit params </th>
|
|
<tr><th> add Linear implicit params </th>
|
|
<th>[\#43](https://gitlab.haskell.org//haskell/prime/issues/43)</th>
|
|
<th>[\#43](https://gitlab.haskell.org//haskell/prime/issues/43)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add overlapping or incoherent instances </th>
|
|
<tr><th> add overlapping or incoherent instances </th>
|
|
<th>[\#54](https://gitlab.haskell.org//haskell/prime/issues/54)</th>
|
|
<th>[\#54](https://gitlab.haskell.org//haskell/prime/issues/54)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Allow Undecidable Instances </th>
|
|
<tr><th> Allow Undecidable Instances </th>
|
|
<th>[\#71](https://gitlab.haskell.org//haskell/prime/issues/71)</th>
|
|
<th>[\#71](https://gitlab.haskell.org//haskell/prime/issues/71)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add views </th>
|
|
<tr><th> add views </th>
|
|
<th>[\#73](https://gitlab.haskell.org//haskell/prime/issues/73)</th>
|
|
<th>[\#73](https://gitlab.haskell.org//haskell/prime/issues/73)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add GADTs </th>
|
|
<tr><th> add GADTs </th>
|
|
<th>[\#37](https://gitlab.haskell.org//haskell/prime/issues/37)</th>
|
|
<th>[\#37](https://gitlab.haskell.org//haskell/prime/issues/37)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add recursive do syntax </th>
|
|
<tr><th> add recursive do syntax </th>
|
|
<th>[\#64](https://gitlab.haskell.org//haskell/prime/issues/64)</th>
|
|
<th>[\#64](https://gitlab.haskell.org//haskell/prime/issues/64)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Eliminate tabs </th>
|
|
<tr><th> Eliminate tabs </th>
|
|
<th>[\#68](https://gitlab.haskell.org//haskell/prime/issues/68)</th>
|
|
<th>[\#68](https://gitlab.haskell.org//haskell/prime/issues/68)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> relax restriction on signatures of class methods </th>
|
|
<tr><th> relax restriction on signatures of class methods </th>
|
|
<th>[\#17](https://gitlab.haskell.org//haskell/prime/issues/17)</th>
|
|
<th>[\#17](https://gitlab.haskell.org//haskell/prime/issues/17)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> control export and import of class instances </th>
|
|
<tr><th> control export and import of class instances </th>
|
|
<th>[\#19](https://gitlab.haskell.org//haskell/prime/issues/19)</th>
|
|
<th>[\#19](https://gitlab.haskell.org//haskell/prime/issues/19)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> unified and extensible annotations </th>
|
|
<tr><th> unified and extensible annotations </th>
|
|
<th>[\#88](https://gitlab.haskell.org//haskell/prime/issues/88)</th>
|
|
<th>[\#88](https://gitlab.haskell.org//haskell/prime/issues/88)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Allow import declarations anywhere at the top level </th>
|
|
<tr><th> Allow import declarations anywhere at the top level </th>
|
|
<th>[\#82](https://gitlab.haskell.org//haskell/prime/issues/82)</th>
|
|
<th>[\#82](https://gitlab.haskell.org//haskell/prime/issues/82)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Reform the monomorphism restriction </th>
|
|
<tr><th> Reform the monomorphism restriction </th>
|
|
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
|
|
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Replace named fields with an extensible record system </th>
|
|
<tr><th> Replace named fields with an extensible record system </th>
|
|
<th>[\#100](https://gitlab.haskell.org//haskell/prime/issues/100)</th>
|
|
<th>[\#100](https://gitlab.haskell.org//haskell/prime/issues/100)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Move existing named field (record) system to an addendum </th>
|
|
<tr><th> Move existing named field (record) system to an addendum </th>
|
|
<th>[\#99](https://gitlab.haskell.org//haskell/prime/issues/99)</th>
|
|
<th>[\#99](https://gitlab.haskell.org//haskell/prime/issues/99)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add First Class Labels </th>
|
|
<tr><th> add First Class Labels </th>
|
|
<th>[\#92](https://gitlab.haskell.org//haskell/prime/issues/92)</th>
|
|
<th>[\#92](https://gitlab.haskell.org//haskell/prime/issues/92)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Require explicit quantification on all expression bound type signatures </th>
|
|
<tr><th> Require explicit quantification on all expression bound type signatures </th>
|
|
<th>[\#28](https://gitlab.haskell.org//haskell/prime/issues/28)</th>
|
|
<th>[\#28](https://gitlab.haskell.org//haskell/prime/issues/28)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add Blockable </th>
|
|
<tr><th> add Blockable </th>
|
|
<th>[\#33](https://gitlab.haskell.org//haskell/prime/issues/33)</th>
|
|
<th>[\#33](https://gitlab.haskell.org//haskell/prime/issues/33)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add [ForeignData](foreign-data)</th>
|
|
<tr><th> add [ForeignData](foreign-data)</th>
|
|
<th>[\#34](https://gitlab.haskell.org//haskell/prime/issues/34)</th>
|
|
<th>[\#34](https://gitlab.haskell.org//haskell/prime/issues/34)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add [LambdaCase](lambda-case)</th>
|
|
<tr><th> add [LambdaCase](lambda-case)</th>
|
|
<th>[\#41](https://gitlab.haskell.org//haskell/prime/issues/41)</th>
|
|
<th>[\#41](https://gitlab.haskell.org//haskell/prime/issues/41)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add [MagicUnderscore](magic-underscore)</th>
|
|
<tr><th> add [MagicUnderscore](magic-underscore)</th>
|
|
<th>[\#44](https://gitlab.haskell.org//haskell/prime/issues/44)</th>
|
|
<th>[\#44](https://gitlab.haskell.org//haskell/prime/issues/44)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> clarify module system proposals </th>
|
|
<tr><th> clarify module system proposals </th>
|
|
<th>[\#48](https://gitlab.haskell.org//haskell/prime/issues/48)</th>
|
|
<th>[\#48](https://gitlab.haskell.org//haskell/prime/issues/48)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> get rid of unary '-' operator </th>
|
|
<tr><th> get rid of unary '-' operator </th>
|
|
<th>[\#50](https://gitlab.haskell.org//haskell/prime/issues/50)</th>
|
|
<th>[\#50](https://gitlab.haskell.org//haskell/prime/issues/50)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add Parallel List comprehensions </th>
|
|
<tr><th> add Parallel List comprehensions </th>
|
|
<th>[\#55](https://gitlab.haskell.org//haskell/prime/issues/55)</th>
|
|
<th>[\#55](https://gitlab.haskell.org//haskell/prime/issues/55)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> prelude re-organisation proposal </th>
|
|
<tr><th> prelude re-organisation proposal </th>
|
|
<th>[\#58](https://gitlab.haskell.org//haskell/prime/issues/58)</th>
|
|
<th>[\#58](https://gitlab.haskell.org//haskell/prime/issues/58)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> allow data constructors to be exported and imported readonly </th>
|
|
<tr><th> allow data constructors to be exported and imported readonly </th>
|
|
<th>[\#62](https://gitlab.haskell.org//haskell/prime/issues/62)</th>
|
|
<th>[\#62](https://gitlab.haskell.org//haskell/prime/issues/62)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add [PartialTypeAnnotations](partial-type-annotations)</th>
|
|
<tr><th> add [PartialTypeAnnotations](partial-type-annotations)</th>
|
|
<th>[\#86](https://gitlab.haskell.org//haskell/prime/issues/86)</th>
|
|
<th>[\#86](https://gitlab.haskell.org//haskell/prime/issues/86)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> improve module interfaces </th>
|
|
<tr><th> improve module interfaces </th>
|
|
<th>[\#95](https://gitlab.haskell.org//haskell/prime/issues/95)</th>
|
|
<th>[\#95](https://gitlab.haskell.org//haskell/prime/issues/95)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Replace the array indexing operator, '!' </th>
|
|
<tr><th> Replace the array indexing operator, '!' </th>
|
|
<th>[\#96](https://gitlab.haskell.org//haskell/prime/issues/96)</th>
|
|
<th>[\#96](https://gitlab.haskell.org//haskell/prime/issues/96)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> replace the Read class </th>
|
|
<tr><th> replace the Read class </th>
|
|
<th>[\#61](https://gitlab.haskell.org//haskell/prime/issues/61)</th>
|
|
<th>[\#61](https://gitlab.haskell.org//haskell/prime/issues/61)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Eliminate . as an operator </th>
|
|
<tr><th> Eliminate . as an operator </th>
|
|
<th>[\#20](https://gitlab.haskell.org//haskell/prime/issues/20)</th>
|
|
<th>[\#20](https://gitlab.haskell.org//haskell/prime/issues/20)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Make underscore 'caseless' </th>
|
|
<tr><th> Make underscore 'caseless' </th>
|
|
<th>[\#72](https://gitlab.haskell.org//haskell/prime/issues/72)</th>
|
|
<th>[\#72](https://gitlab.haskell.org//haskell/prime/issues/72)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Natural numbers </th>
|
|
<tr><th> Natural numbers </th>
|
|
<th>[\#79](https://gitlab.haskell.org//haskell/prime/issues/79)</th>
|
|
<th>[\#79](https://gitlab.haskell.org//haskell/prime/issues/79)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add Flexible Contexts </th>
|
|
<tr><th> add Flexible Contexts </th>
|
|
<th>[\#31](https://gitlab.haskell.org//haskell/prime/issues/31)</th>
|
|
<th>[\#31](https://gitlab.haskell.org//haskell/prime/issues/31)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add a binary IO interface </th>
|
|
<tr><th> add a binary IO interface </th>
|
|
<th>[\#15](https://gitlab.haskell.org//haskell/prime/issues/15)</th>
|
|
<th>[\#15](https://gitlab.haskell.org//haskell/prime/issues/15)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></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></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> standardize the System.FilePath? module </th>
|
|
<tr><th> standardize the System.FilePath? module </th>
|
|
<th>[\#89](https://gitlab.haskell.org//haskell/prime/issues/89)</th>
|
|
<th>[\#89](https://gitlab.haskell.org//haskell/prime/issues/89)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<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>
|
|
|
|
<th></th></tr>
|
|
<th></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>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add [Concurrency](concurrency)</th>
|
|
<tr><th> add [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> draft text: [Concurrency/DraftReportText](concurrency/draft-report-text)</th>
|
|
<th> draft text: [Concurrency/DraftReportText](concurrency/draft-report-text)</th></tr>
|
|
<th></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></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add multi-parameter type classes ([MultiParamTypeClasses](multi-param-type-classes)) </th>
|
|
<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>[\#49](https://gitlab.haskell.org//haskell/prime/issues/49)</th>
|
|
<th> see [MultiParamTypeClassesDilemma](multi-param-type-classes-dilemma)</th>
|
|
<th> see [MultiParamTypeClassesDilemma](multi-param-type-classes-dilemma)</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th> add [RankNTypes](rank-n-types) or [Rank2Types](rank2-types)</th>
|
|
<tr><th> add [RankNTypes](rank-n-types) or [Rank2Types](rank2-types)</th>
|
|
<th>[\#60](https://gitlab.haskell.org//haskell/prime/issues/60)</th>
|
|
<th>[\#60](https://gitlab.haskell.org//haskell/prime/issues/60)</th>
|
|
<th> RankN or Rank2?
|
|
<th> RankN or Rank2?
|
|
</th>
|
|
</th></tr>
|
|
<th></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> Draft available
|
|
<th> Draft available
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th></th>
|
|
<tr><th></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> 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> syntax of existentials
|
|
<th> syntax of existentials
|
|
</th>
|
|
</th></tr>
|
|
<th></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> See addendum
|
|
<th> See addendum
|
|
</th>
|
|
</th></tr>
|
|
<th></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> dependency on [KindAnnotations](kind-annotations)</th>
|
|
<th> dependency on [KindAnnotations](kind-annotations)</th></tr>
|
|
<th></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></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> remove [FixityResolution](fixity-resolution) from the context-free grammar </th>
|
|
<tr><th> remove [FixityResolution](fixity-resolution) from the context-free grammar </th>
|
|
<th>[\#30](https://gitlab.haskell.org//haskell/prime/issues/30)</th>
|
|
<th>[\#30](https://gitlab.haskell.org//haskell/prime/issues/30)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th>[ImpreciseExceptions](imprecise-exceptions)</th>
|
|
<tr><th>[ImpreciseExceptions](imprecise-exceptions)</th>
|
|
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
|
|
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></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>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> allow [TypeSynonymInstances](type-synonym-instances)</th>
|
|
<tr><th> allow [TypeSynonymInstances](type-synonym-instances)</th>
|
|
<th>[\#70](https://gitlab.haskell.org//haskell/prime/issues/70)</th>
|
|
<th>[\#70](https://gitlab.haskell.org//haskell/prime/issues/70)</th>
|
|
<th> superseded by [NewtypeDeriving](newtype-deriving)?
|
|
<th> superseded by [NewtypeDeriving](newtype-deriving)?
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th></th>
|
|
<tr><th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
|
|
<th> Not very useful without [FlexibleInstances](flexible-instances) and/or [OverlappingInstances](overlapping-instances)</th></tr>
|
|
<th> Not very useful without [FlexibleInstances](flexible-instances) and/or [OverlappingInstances](overlapping-instances)</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>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th>[NondecreasingIndentation](nondecreasing-indentation)</th>
|
|
<tr><th>[NondecreasingIndentation](nondecreasing-indentation)</th>
|
|
<th>[\#53](https://gitlab.haskell.org//haskell/prime/issues/53)</th>
|
|
<th>[\#53](https://gitlab.haskell.org//haskell/prime/issues/53)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> fix the lexical syntax for [QualifiedIdentifiers](qualified-identifiers)</th>
|
|
<tr><th> fix the lexical syntax for [QualifiedIdentifiers](qualified-identifiers)</th>
|
|
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
|
|
<th>[\#39](https://gitlab.haskell.org//haskell/prime/issues/39)</th>
|
|
<th> permit qualified identifiers in definitions?
|
|
<th> permit qualified identifiers in definitions?
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th>[FlexibleInstances](flexible-instances)</th>
|
|
<tr><th>[FlexibleInstances](flexible-instances)</th>
|
|
<th>[\#32](https://gitlab.haskell.org//haskell/prime/issues/32)</th>
|
|
<th>[\#32](https://gitlab.haskell.org//haskell/prime/issues/32)</th>
|
|
<th> choice of instance conditions for termination of typechecking
|
|
<th> choice of instance conditions for termination of typechecking
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th></th>
|
|
<tr><th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
|
|
<th> poor interaction with [NewtypeDeriving](newtype-deriving)?
|
|
<th> poor interaction with [NewtypeDeriving](newtype-deriving)?
|
|
</th></tr>
|
|
</th></tr>
|
|
<tr><th> add [NewPragmas](new-pragmas)</th>
|
|
<tr><th> add [NewPragmas](new-pragmas)</th>
|
|
<th>[\#51](https://gitlab.haskell.org//haskell/prime/issues/51)</th>
|
|
<th>[\#51](https://gitlab.haskell.org//haskell/prime/issues/51)</th>
|
|
<th> choose specific pragmas to standardize
|
|
<th> choose specific pragmas to standardize
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th> make [Underscore](underscore) caseless </th>
|
|
<tr><th> make [Underscore](underscore) caseless </th>
|
|
<th>[\#72](https://gitlab.haskell.org//haskell/prime/issues/72)</th>
|
|
<th>[\#72](https://gitlab.haskell.org//haskell/prime/issues/72)</th>
|
|
<th> treatment of underscore-only identifiers
|
|
<th> treatment of underscore-only identifiers
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th>[BangPatterns](bang-patterns)</th>
|
|
<tr><th>[BangPatterns](bang-patterns)</th>
|
|
<th>[\#76](https://gitlab.haskell.org//haskell/prime/issues/76)</th>
|
|
<th>[\#76](https://gitlab.haskell.org//haskell/prime/issues/76)</th>
|
|
<th> top-level bang patterns
|
|
<th> top-level bang patterns
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th></th>
|
|
<tr><th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
|
|
<th> interaction with ! as an operator
|
|
<th> interaction with ! as an operator
|
|
</th></tr>
|
|
</th></tr>
|
|
<tr><th></th>
|
|
<tr><th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
|
|
<th> bang-pattern polymorphism
|
|
<th> bang-pattern polymorphism
|
|
</th></tr>
|
|
</th></tr>
|
|
<tr><th></th>
|
|
<tr><th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
|
|
<th> existentials and bang patterns
|
|
<th> existentials and bang patterns
|
|
</th></tr>
|
|
</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>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th> generalized deriving for newtype ([NewtypeDeriving](newtype-deriving)) </th>
|
|
<tr><th> generalized deriving for newtype ([NewtypeDeriving](newtype-deriving)) </th>
|
|
<th>[\#52](https://gitlab.haskell.org//haskell/prime/issues/52)</th>
|
|
<th>[\#52](https://gitlab.haskell.org//haskell/prime/issues/52)</th>
|
|
<th> specification that does not use the term "the same representation"
|
|
<th> specification that does not use the term "the same representation"
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th></th>
|
|
<tr><th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
|
|
<th> overlap with [TypeSynonymInstances](type-synonym-instances)</th></tr>
|
|
<th> overlap with [TypeSynonymInstances](type-synonym-instances)</th></tr>
|
|
<tr><th> improve [Defaulting](defaulting) rules </th>
|
|
<tr><th> improve [Defaulting](defaulting) rules </th>
|
|
<th>[\#21](https://gitlab.haskell.org//haskell/prime/issues/21)</th>
|
|
<th>[\#21](https://gitlab.haskell.org//haskell/prime/issues/21)</th>
|
|
<th> scope of default clauses
|
|
<th> scope of default clauses
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th></th>
|
|
<tr><th></th>
|
|
<th></th>
|
|
<th></th>
|
|
<th></th>
|
|
|
|
<th> impact on existing defaults
|
|
<th> impact on existing defaults
|
|
</th></tr>
|
|
</th></tr>
|
|
<tr><th>[KindAnnotations](kind-annotations)</th>
|
|
<tr><th>[KindAnnotations](kind-annotations)</th>
|
|
<th>[\#84](https://gitlab.haskell.org//haskell/prime/issues/84)</th>
|
|
<th>[\#84](https://gitlab.haskell.org//haskell/prime/issues/84)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th>[MonomorphicPatternBindings](monomorphic-pattern-bindings)</th>
|
|
<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>[\#10](https://gitlab.haskell.org//haskell/prime/issues/10)[\#3](https://gitlab.haskell.org//haskell/prime/issues/3)</th>
|
|
<th> treatment of pattern bindings with explicit type signatures
|
|
<th> treatment of pattern bindings with explicit type signatures
|
|
</th>
|
|
</th></tr>
|
|
<th></th></tr>
|
|
|
|
<tr><th> add [Arrows](arrows)</th>
|
|
<tr><th> add [Arrows](arrows)</th>
|
|
<th>[\#13](https://gitlab.haskell.org//haskell/prime/issues/13)</th>
|
|
<th>[\#13](https://gitlab.haskell.org//haskell/prime/issues/13)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> fix comment syntax grammar ([LineCommentSyntax](line-comment-syntax)) </th>
|
|
<tr><th> fix comment syntax grammar ([LineCommentSyntax](line-comment-syntax)) </th>
|
|
<th>[\#42](https://gitlab.haskell.org//haskell/prime/issues/42)</th>
|
|
<th>[\#42](https://gitlab.haskell.org//haskell/prime/issues/42)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></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></th>
|
|
|
|
<th></th></tr>
|
|
<th></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></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<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>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> standardize the System.FilePath? module </th>
|
|
<tr><th> standardize the System.FilePath? module </th>
|
|
<th>[\#89](https://gitlab.haskell.org//haskell/prime/issues/89)</th>
|
|
<th>[\#89](https://gitlab.haskell.org//haskell/prime/issues/89)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></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></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add a binary IO interface </th>
|
|
<tr><th> add a binary IO interface </th>
|
|
<th>[\#15](https://gitlab.haskell.org//haskell/prime/issues/15)</th>
|
|
<th>[\#15](https://gitlab.haskell.org//haskell/prime/issues/15)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add Flexible Contexts </th>
|
|
<tr><th> add Flexible Contexts </th>
|
|
<th>[\#31](https://gitlab.haskell.org//haskell/prime/issues/31)</th>
|
|
<th>[\#31](https://gitlab.haskell.org//haskell/prime/issues/31)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Natural numbers </th>
|
|
<tr><th> Natural numbers </th>
|
|
<th>[\#79](https://gitlab.haskell.org//haskell/prime/issues/79)</th>
|
|
<th>[\#79](https://gitlab.haskell.org//haskell/prime/issues/79)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Make underscore 'caseless' </th>
|
|
<tr><th> Make underscore 'caseless' </th>
|
|
<th>[\#72](https://gitlab.haskell.org//haskell/prime/issues/72)</th>
|
|
<th>[\#72](https://gitlab.haskell.org//haskell/prime/issues/72)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Eliminate . as an operator </th>
|
|
<tr><th> Eliminate . as an operator </th>
|
|
<th>[\#20](https://gitlab.haskell.org//haskell/prime/issues/20)</th>
|
|
<th>[\#20](https://gitlab.haskell.org//haskell/prime/issues/20)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> replace the Read class </th>
|
|
<tr><th> replace the Read class </th>
|
|
<th>[\#61](https://gitlab.haskell.org//haskell/prime/issues/61)</th>
|
|
<th>[\#61](https://gitlab.haskell.org//haskell/prime/issues/61)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Replace the array indexing operator, '!' </th>
|
|
<tr><th> Replace the array indexing operator, '!' </th>
|
|
<th>[\#96](https://gitlab.haskell.org//haskell/prime/issues/96)</th>
|
|
<th>[\#96](https://gitlab.haskell.org//haskell/prime/issues/96)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> improve module interfaces </th>
|
|
<tr><th> improve module interfaces </th>
|
|
<th>[\#95](https://gitlab.haskell.org//haskell/prime/issues/95)</th>
|
|
<th>[\#95](https://gitlab.haskell.org//haskell/prime/issues/95)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add [PartialTypeAnnotations](partial-type-annotations)</th>
|
|
<tr><th> add [PartialTypeAnnotations](partial-type-annotations)</th>
|
|
<th>[\#86](https://gitlab.haskell.org//haskell/prime/issues/86)</th>
|
|
<th>[\#86](https://gitlab.haskell.org//haskell/prime/issues/86)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> allow data constructors to be exported and imported readonly </th>
|
|
<tr><th> allow data constructors to be exported and imported readonly </th>
|
|
<th>[\#62](https://gitlab.haskell.org//haskell/prime/issues/62)</th>
|
|
<th>[\#62](https://gitlab.haskell.org//haskell/prime/issues/62)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> prelude re-organisation proposal </th>
|
|
<tr><th> prelude re-organisation proposal </th>
|
|
<th>[\#58](https://gitlab.haskell.org//haskell/prime/issues/58)</th>
|
|
<th>[\#58](https://gitlab.haskell.org//haskell/prime/issues/58)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add Parallel List comprehensions </th>
|
|
<tr><th> add Parallel List comprehensions </th>
|
|
<th>[\#55](https://gitlab.haskell.org//haskell/prime/issues/55)</th>
|
|
<th>[\#55](https://gitlab.haskell.org//haskell/prime/issues/55)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> get rid of unary '-' operator </th>
|
|
<tr><th> get rid of unary '-' operator </th>
|
|
<th>[\#50](https://gitlab.haskell.org//haskell/prime/issues/50)</th>
|
|
<th>[\#50](https://gitlab.haskell.org//haskell/prime/issues/50)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> clarify module system proposals </th>
|
|
<tr><th> clarify module system proposals </th>
|
|
<th>[\#48](https://gitlab.haskell.org//haskell/prime/issues/48)</th>
|
|
<th>[\#48](https://gitlab.haskell.org//haskell/prime/issues/48)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add [MagicUnderscore](magic-underscore)</th>
|
|
<tr><th> add [MagicUnderscore](magic-underscore)</th>
|
|
<th>[\#44](https://gitlab.haskell.org//haskell/prime/issues/44)</th>
|
|
<th>[\#44](https://gitlab.haskell.org//haskell/prime/issues/44)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add [LambdaCase](lambda-case)</th>
|
|
<tr><th> add [LambdaCase](lambda-case)</th>
|
|
<th>[\#41](https://gitlab.haskell.org//haskell/prime/issues/41)</th>
|
|
<th>[\#41](https://gitlab.haskell.org//haskell/prime/issues/41)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add [ForeignData](foreign-data)</th>
|
|
<tr><th> add [ForeignData](foreign-data)</th>
|
|
<th>[\#34](https://gitlab.haskell.org//haskell/prime/issues/34)</th>
|
|
<th>[\#34](https://gitlab.haskell.org//haskell/prime/issues/34)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add Blockable </th>
|
|
<tr><th> add Blockable </th>
|
|
<th>[\#33](https://gitlab.haskell.org//haskell/prime/issues/33)</th>
|
|
<th>[\#33](https://gitlab.haskell.org//haskell/prime/issues/33)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Require explicit quantification on all expression bound type signatures </th>
|
|
<tr><th> Require explicit quantification on all expression bound type signatures </th>
|
|
<th>[\#28](https://gitlab.haskell.org//haskell/prime/issues/28)</th>
|
|
<th>[\#28](https://gitlab.haskell.org//haskell/prime/issues/28)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add First Class Labels </th>
|
|
<tr><th> add First Class Labels </th>
|
|
<th>[\#92](https://gitlab.haskell.org//haskell/prime/issues/92)</th>
|
|
<th>[\#92](https://gitlab.haskell.org//haskell/prime/issues/92)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Move existing named field (record) system to an addendum </th>
|
|
<tr><th> Move existing named field (record) system to an addendum </th>
|
|
<th>[\#99](https://gitlab.haskell.org//haskell/prime/issues/99)</th>
|
|
<th>[\#99](https://gitlab.haskell.org//haskell/prime/issues/99)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Replace named fields with an extensible record system </th>
|
|
<tr><th> Replace named fields with an extensible record system </th>
|
|
<th>[\#100](https://gitlab.haskell.org//haskell/prime/issues/100)</th>
|
|
<th>[\#100](https://gitlab.haskell.org//haskell/prime/issues/100)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Reform the monomorphism restriction </th>
|
|
<tr><th> Reform the monomorphism restriction </th>
|
|
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
|
|
<th>[\#80](https://gitlab.haskell.org//haskell/prime/issues/80)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Allow import declarations anywhere at the top level </th>
|
|
<tr><th> Allow import declarations anywhere at the top level </th>
|
|
<th>[\#82](https://gitlab.haskell.org//haskell/prime/issues/82)</th>
|
|
<th>[\#82](https://gitlab.haskell.org//haskell/prime/issues/82)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> unified and extensible annotations </th>
|
|
<tr><th> unified and extensible annotations </th>
|
|
<th>[\#88](https://gitlab.haskell.org//haskell/prime/issues/88)</th>
|
|
<th>[\#88](https://gitlab.haskell.org//haskell/prime/issues/88)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> control export and import of class instances </th>
|
|
<tr><th> control export and import of class instances </th>
|
|
<th>[\#19](https://gitlab.haskell.org//haskell/prime/issues/19)</th>
|
|
<th>[\#19](https://gitlab.haskell.org//haskell/prime/issues/19)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> relax restriction on signatures of class methods </th>
|
|
<tr><th> relax restriction on signatures of class methods </th>
|
|
<th>[\#17](https://gitlab.haskell.org//haskell/prime/issues/17)</th>
|
|
<th>[\#17](https://gitlab.haskell.org//haskell/prime/issues/17)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Eliminate tabs </th>
|
|
<tr><th> Eliminate tabs </th>
|
|
<th>[\#68](https://gitlab.haskell.org//haskell/prime/issues/68)</th>
|
|
<th>[\#68](https://gitlab.haskell.org//haskell/prime/issues/68)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add recursive do syntax </th>
|
|
<tr><th> add recursive do syntax </th>
|
|
<th>[\#64](https://gitlab.haskell.org//haskell/prime/issues/64)</th>
|
|
<th>[\#64](https://gitlab.haskell.org//haskell/prime/issues/64)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add GADTs </th>
|
|
<tr><th> add GADTs </th>
|
|
<th>[\#37](https://gitlab.haskell.org//haskell/prime/issues/37)</th>
|
|
<th>[\#37](https://gitlab.haskell.org//haskell/prime/issues/37)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add views </th>
|
|
<tr><th> add views </th>
|
|
<th>[\#73](https://gitlab.haskell.org//haskell/prime/issues/73)</th>
|
|
<th>[\#73](https://gitlab.haskell.org//haskell/prime/issues/73)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Allow Undecidable Instances </th>
|
|
<tr><th> Allow Undecidable Instances </th>
|
|
<th>[\#71](https://gitlab.haskell.org//haskell/prime/issues/71)</th>
|
|
<th>[\#71](https://gitlab.haskell.org//haskell/prime/issues/71)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add overlapping or incoherent instances </th>
|
|
<tr><th> add overlapping or incoherent instances </th>
|
|
<th>[\#54](https://gitlab.haskell.org//haskell/prime/issues/54)</th>
|
|
<th>[\#54](https://gitlab.haskell.org//haskell/prime/issues/54)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add Linear implicit params </th>
|
|
<tr><th> add Linear implicit params </th>
|
|
<th>[\#43](https://gitlab.haskell.org//haskell/prime/issues/43)</th>
|
|
<th>[\#43](https://gitlab.haskell.org//haskell/prime/issues/43)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add [FunctionalDependencies](functional-dependencies)</th>
|
|
<tr><th> add [FunctionalDependencies](functional-dependencies)</th>
|
|
<th>[\#36](https://gitlab.haskell.org//haskell/prime/issues/36)</th>
|
|
<th>[\#36](https://gitlab.haskell.org//haskell/prime/issues/36)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add [MultiWayIf](multi-way-if)</th>
|
|
<tr><th> add [MultiWayIf](multi-way-if)</th>
|
|
<th>[\#77](https://gitlab.haskell.org//haskell/prime/issues/77)</th>
|
|
<th>[\#77](https://gitlab.haskell.org//haskell/prime/issues/77)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> allow tuple sections </th>
|
|
<tr><th> allow tuple sections </th>
|
|
<th>[\#69](https://gitlab.haskell.org//haskell/prime/issues/69)</th>
|
|
<th>[\#69](https://gitlab.haskell.org//haskell/prime/issues/69)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add implicit parameters </th>
|
|
<tr><th> add implicit parameters </th>
|
|
<th>[\#38](https://gitlab.haskell.org//haskell/prime/issues/38)</th>
|
|
<th>[\#38](https://gitlab.haskell.org//haskell/prime/issues/38)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add Associated Types </th>
|
|
<tr><th> add Associated Types </th>
|
|
<th>[\#14](https://gitlab.haskell.org//haskell/prime/issues/14)</th>
|
|
<th>[\#14](https://gitlab.haskell.org//haskell/prime/issues/14)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> add closed classes </th>
|
|
<tr><th> add closed classes </th>
|
|
<th>[\#18](https://gitlab.haskell.org//haskell/prime/issues/18)</th>
|
|
<th>[\#18](https://gitlab.haskell.org//haskell/prime/issues/18)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th> Class aliases </th>
|
|
<tr><th> Class aliases </th>
|
|
<th>[\#101](https://gitlab.haskell.org//haskell/prime/issues/101)</th>
|
|
<th>[\#101](https://gitlab.haskell.org//haskell/prime/issues/101)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr>
|
|
<th></th></tr>
|
|
<tr><th>[MonomorphicPatternBindings](monomorphic-pattern-bindings)</th>
|
|
<tr><th>[MonomorphicPatternBindings](monomorphic-pattern-bindings)</th>
|
|
<th>[\#103](https://gitlab.haskell.org//haskell/prime/issues/103)</th>
|
|
<th>[\#103](https://gitlab.haskell.org//haskell/prime/issues/103)</th>
|
|
<th></th>
|
|
|
|
<th></th></tr></table> |
|
<th></th></tr></table> |
|
\ No newline at end of file |
|
|