Skip to content

Changes

Page history
Edit Status' authored by ravi@bluespec.com's avatar ravi@bluespec.com
Hide whitespace changes
Inline Side-by-side
status'.md
View page @ 585582af
...@@ -232,13 +232,111 @@ since we have a substantial amount of work to do there which requires focused at ...@@ -232,13 +232,111 @@ since we have a substantial amount of work to do there which requires focused at
<th> </th> <th> </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> SJT </th>
<th> </th>
<th> superseded by [NewtypeDeriving](newtype-deriving)?
</th></tr>
<tr><th> </th>
<th> </th>
<th> </th>
<th> </th>
<th> not very useful without [FlexibleInstances](flexible-instances) and/or [OverlappingInstances](overlapping-instances)
</th></tr>
<tr><th> </th>
<th> </th>
<th> </th>
<th>
</th>
<th></th></tr>
<tr><th> [RelaxedDependencyAnalysis](relaxed-dependency-analysis) </th>
<th> [\#65](https://gitlab.haskell.org//haskell/prime/issues/65) </th>
<th> HN, MS </th>
<th> </th>
<th> None
</th></tr>
<tr><th> </th>
<th> </th>
<th> </th>
<th>
</th>
<th></th></tr>
<tr><th> [ImpreciseExceptions](imprecise-exceptions) </th>
<th> [\#39](https://gitlab.haskell.org//haskell/prime/issues/39) </th>
<th> </th>
<th> </th>
<th> may require a standard deepSeq to be usable
</th></tr>
<tr><th> </th>
<th> </th>
<th> </th>
<th>
</th>
<th></th></tr>
<tr><th> [NondecreasingIndentation](nondecreasing-indentation) </th>
<th> [\#53](https://gitlab.haskell.org//haskell/prime/issues/53) </th>
<th> SM </th>
<th> </th>
<th> None
</th></tr>
<tr><th> </th>
<th> </th>
<th> </th>
<th>
</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> SM </th>
<th> </th>
<th> permit qualified identifiers in definitions?
</th></tr>
<tr><th> </th>
<th> </th>
<th> </th>
<th>
</th>
<th></th></tr>
<tr><th> [FlexibleInstances](flexible-instances) </th>
<th> [\#32](https://gitlab.haskell.org//haskell/prime/issues/32) </th>
<th> </th>
<th> </th>
<th> choice of instance conditions for termination of typechecking
</th></tr>
<tr><th> </th>
<th> </th>
<th> </th>
<th> </th>
<th> poor interaction with [NewtypeDeriving](newtype-deriving)?
</th></tr>
<tr><th> </th>
<th> </th>
<th> </th>
<th>
</th>
<th></th></tr>
<tr><th> add [NewPragmas](new-pragmas) </th>
<th> [\#51](https://gitlab.haskell.org//haskell/prime/issues/51) </th>
<th> </th>
<th> </th>
<th> choose specific pragmas to standardize
</th></tr>
<tr><th> </th>
<th> </th>
<th> </th>
<th>
</th>
<th></th></tr>
<tr><th> </th>
<th> </th>
<th> </th>
<th>
</th>
<th></th></tr></table> <th></th></tr></table>
--- ---
......