Skip to content

Changes

Page history
Fix markdown link syntax authored by Tobias Dammers's avatar Tobias Dammers
Show whitespace changes
Inline Side-by-side
type-nats.md
View page @ 6530fd1d
# Type Level Literals
This page collects information on how to work with type-level literals, as implemented in the Haskell compiler GHC (ticket [\#4385](https://gitlab.haskell.org//ghc/ghc/issues/4385)).
This page collects information on how to work with type-level literals, as implemented in the Haskell compiler GHC (ticket [\#4385](https://gitlab.haskell.org/ghc/ghc/issues/4385)).
## Status
......@@ -12,7 +12,7 @@ Use Keyword = `TypeLits` to ensure that a ticket ends up on these lists.
Open Tickets:
<table><tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/8422">#8422</a></th>
<table><tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/8422">#8422</a></th>
<td>type nats solver is too weak!</td></tr></table>
......@@ -20,13 +20,13 @@ Open Tickets:
Closed Tickets:
<table><tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/9036">#9036</a></th>
<table><tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/9036">#9036</a></th>
<td>ghc: panic! Binder&apos;s type (SingI Symbol &lt;a String&gt;) /= RHS type (String)</td></tr>
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/10321">#10321</a></th>
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/10321">#10321</a></th>
<td>GHC.TypeLits.Nat types no longer fully simplified.</td></tr>
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/10742">#10742</a></th>
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/10742">#10742</a></th>
<td>GHC cannot deduce (irrelevant) reflexive type equality.</td></tr>
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/10774">#10774</a></th>
<tr><th><a href="https://gitlab.haskell.org/ghc/ghc/issues/10774">#10774</a></th>
<td>Use `Natural` rather than `Integer` in `GHC.TypeLits`</td></tr></table>
......