| ... | ... | @@ -341,6 +341,108 @@ since we have a substantial amount of work to do there which requires focused at |
|
|
|
<th>
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> [BangPatterns](bang-patterns) </th>
|
|
|
|
<th> [\#76](https://gitlab.haskell.org//haskell/prime/issues/76) </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> top-level bang patterns
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> interaction with ! as an operator
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> bang-pattern polymorphism
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> existentials and bang patterns
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th>
|
|
|
|
</th>
|
|
|
|
<th></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> MS </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> specification of syntax that binds type variables
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th>
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> generalized deriving for newtype ([NewtypeDeriving](newtype-deriving)) </th>
|
|
|
|
<th> [\#52](https://gitlab.haskell.org//haskell/prime/issues/52) </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> specification that does not reference "the same representation"
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> overlap with [TypeSynonymInstances](type-synonym-instances)
|
|
|
|
</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> SM </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> None
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th>
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> improve [Defaulting](defaulting) rules </th>
|
|
|
|
<th> [\#21](https://gitlab.haskell.org//haskell/prime/issues/21) </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> scope of default clauses
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> impact on existing defaults
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th>
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> [KindAnnotations](kind-annotations) </th>
|
|
|
|
<th> [\#84](https://gitlab.haskell.org//haskell/prime/issues/84) </th>
|
|
|
|
<th> BH, AL </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> None
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th>
|
|
|
|
</th>
|
|
|
|
<th></th></tr>
|
|
|
|
<tr><th> [MonomorphicPatternBindings](monomorphic-pattern-bindings) </th>
|
|
|
|
<th> [\#103](https://gitlab.haskell.org//haskell/prime/issues/103) </th>
|
|
|
|
<th> RN </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> treatment of pattern bindings with explicit type signatures
|
|
|
|
</th></tr>
|
|
|
|
<tr><th> </th>
|
|
|
|
<th> </th>
|
|
|
|
<th> </th>
|
| ... | ... | @@ -349,6 +451,10 @@ since we have a substantial amount of work to do there which requires focused at |
|
|
|
<th></th></tr></table>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
---
|
|
|
|
|
|
|
|
|
| ... | ... | |
