... | ... | @@ -9,108 +9,117 @@ See also [UnliftedDataTypes](unlifted-data-types) |
|
|
## Tickets
|
|
|
|
|
|
|
|
|
|
|
|
Use Keyword = `LevityPolymorphism` to ensure that a ticket ends up on these lists.
|
|
|
|
|
|
|
|
|
|
|
|
**Open Tickets:**
|
|
|
|
|
|
<table><tr><th>[\#11715](https://gitlab.haskell.org//ghc/ghc/issues/11715)</th>
|
|
|
<td>Constraint vs \*</td></tr>
|
|
|
<tr><th>[\#12708](https://gitlab.haskell.org//ghc/ghc/issues/12708)</th>
|
|
|
<table><tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/11715">#11715</a></th>
|
|
|
<td>Constraint vs *</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/12708">#12708</a></th>
|
|
|
<td>RFC: Representation polymorphic Num</td></tr>
|
|
|
<tr><th>[\#12980](https://gitlab.haskell.org//ghc/ghc/issues/12980)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/12980">#12980</a></th>
|
|
|
<td>Unlifted class method rejected</td></tr>
|
|
|
<tr><th>[\#12989](https://gitlab.haskell.org//ghc/ghc/issues/12989)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/12989">#12989</a></th>
|
|
|
<td>($) can have a more general type</td></tr>
|
|
|
<tr><th>[\#13105](https://gitlab.haskell.org//ghc/ghc/issues/13105)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13105">#13105</a></th>
|
|
|
<td>Allow type families in RuntimeReps</td></tr>
|
|
|
<tr><th>[\#13233](https://gitlab.haskell.org//ghc/ghc/issues/13233)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13233">#13233</a></th>
|
|
|
<td>typePrimRep panic while compiling GHC with profiling</td></tr>
|
|
|
<tr><th>[\#13592](https://gitlab.haskell.org//ghc/ghc/issues/13592)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13592">#13592</a></th>
|
|
|
<td>Newtype type class with compiler generated instances</td></tr>
|
|
|
<tr><th>[\#13595](https://gitlab.haskell.org//ghc/ghc/issues/13595)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13595">#13595</a></th>
|
|
|
<td>Should ‘coerce’ be levity polymorphic?</td></tr>
|
|
|
<tr><th>[\#14185](https://gitlab.haskell.org//ghc/ghc/issues/14185)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14185">#14185</a></th>
|
|
|
<td>Non-local bug reporting around levity polymorphism</td></tr>
|
|
|
<tr><th>[\#14196](https://gitlab.haskell.org//ghc/ghc/issues/14196)</th>
|
|
|
<td>Replace ArrayArray\# with either UnliftedArray\# or Array\#</td></tr>
|
|
|
<tr><th>[\#14765](https://gitlab.haskell.org//ghc/ghc/issues/14765)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14196">#14196</a></th>
|
|
|
<td>Replace ArrayArray# with either UnliftedArray# or Array#</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14765">#14765</a></th>
|
|
|
<td>Levity polymorphism panic</td></tr>
|
|
|
<tr><th>[\#14917](https://gitlab.haskell.org//ghc/ghc/issues/14917)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14917">#14917</a></th>
|
|
|
<td>Allow levity polymorphism in binding position</td></tr>
|
|
|
<tr><th>[\#15532](https://gitlab.haskell.org//ghc/ghc/issues/15532)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15532">#15532</a></th>
|
|
|
<td>Relaxing Levity-Polymorphic Binder Check for Lifted vs Unlifted pointers</td></tr>
|
|
|
<tr><th>[\#15883](https://gitlab.haskell.org//ghc/ghc/issues/15883)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15883">#15883</a></th>
|
|
|
<td>GHC panic: newtype F rep = F (forall (a :: TYPE rep). a)</td></tr></table>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
**Closed Tickets:**
|
|
|
|
|
|
<table><tr><th>[\#11431](https://gitlab.haskell.org//ghc/ghc/issues/11431)</th>
|
|
|
<table><tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/11431">#11431</a></th>
|
|
|
<td>GHC instantiates levity-polymorphic type variables with foralls</td></tr>
|
|
|
<tr><th>[\#11465](https://gitlab.haskell.org//ghc/ghc/issues/11465)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/11465">#11465</a></th>
|
|
|
<td>Eliminate check_lifted check in TcValidity</td></tr>
|
|
|
<tr><th>[\#11471](https://gitlab.haskell.org//ghc/ghc/issues/11471)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/11471">#11471</a></th>
|
|
|
<td>Kind polymorphism and unboxed types: bad things are happening</td></tr>
|
|
|
<tr><th>[\#11473](https://gitlab.haskell.org//ghc/ghc/issues/11473)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/11473">#11473</a></th>
|
|
|
<td>Levity polymorphism checks are inadequate</td></tr>
|
|
|
<tr><th>[\#11714](https://gitlab.haskell.org//ghc/ghc/issues/11714)</th>
|
|
|
<td>Kind of (-\>) type constructor is overly constrained</td></tr>
|
|
|
<tr><th>[\#11724](https://gitlab.haskell.org//ghc/ghc/issues/11724)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/11714">#11714</a></th>
|
|
|
<td>Kind of (->) type constructor is overly constrained</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/11724">#11724</a></th>
|
|
|
<td>Must check for representation polymorphism in datatype declarations</td></tr>
|
|
|
<tr><th>[\#11736](https://gitlab.haskell.org//ghc/ghc/issues/11736)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/11736">#11736</a></th>
|
|
|
<td>Allow unsaturated uses of unlifted types in Core</td></tr>
|
|
|
<tr><th>[\#11786](https://gitlab.haskell.org//ghc/ghc/issues/11786)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/11786">#11786</a></th>
|
|
|
<td>Need -fno-print-explicit-runtime-reps to work on IfaceType, else RuntimeRep leaks</td></tr>
|
|
|
<tr><th>[\#12668](https://gitlab.haskell.org//ghc/ghc/issues/12668)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/12668">#12668</a></th>
|
|
|
<td>Program that fails Core Lint terribly</td></tr>
|
|
|
<tr><th>[\#12670](https://gitlab.haskell.org//ghc/ghc/issues/12670)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/12670">#12670</a></th>
|
|
|
<td>Representation polymorphism validity check is too strict</td></tr>
|
|
|
<tr><th>[\#12709](https://gitlab.haskell.org//ghc/ghc/issues/12709)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/12709">#12709</a></th>
|
|
|
<td>GHC panic</td></tr>
|
|
|
<tr><th>[\#12718](https://gitlab.haskell.org//ghc/ghc/issues/12718)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/12718">#12718</a></th>
|
|
|
<td>Segmentation fault, runtime representation polymorphism</td></tr>
|
|
|
<tr><th>[\#12809](https://gitlab.haskell.org//ghc/ghc/issues/12809)</th>
|
|
|
<td>TYPE 'UnboxedTupleRep is still a lie</td></tr>
|
|
|
<tr><th>[\#12901](https://gitlab.haskell.org//ghc/ghc/issues/12901)</th>
|
|
|
<td>Levity polymorphic expressions mustn't be floated out</td></tr>
|
|
|
<tr><th>[\#12905](https://gitlab.haskell.org//ghc/ghc/issues/12905)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/12809">#12809</a></th>
|
|
|
<td>TYPE 'UnboxedTupleRep is still a lie</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/12901">#12901</a></th>
|
|
|
<td>Levity polymorphic expressions mustn't be floated out</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/12905">#12905</a></th>
|
|
|
<td>Core lint failure with pattern synonym and levity polymorphism</td></tr>
|
|
|
<tr><th>[\#12911](https://gitlab.haskell.org//ghc/ghc/issues/12911)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/12911">#12911</a></th>
|
|
|
<td>Levity polymorphism check eliminates non-levity-polymorphic data constructor</td></tr>
|
|
|
<tr><th>[\#12973](https://gitlab.haskell.org//ghc/ghc/issues/12973)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/12973">#12973</a></th>
|
|
|
<td>No levity-polymorphic arguments</td></tr>
|
|
|
<tr><th>[\#12987](https://gitlab.haskell.org//ghc/ghc/issues/12987)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/12987">#12987</a></th>
|
|
|
<td>Core lint error with levity polymorphism</td></tr>
|
|
|
<tr><th>[\#13202](https://gitlab.haskell.org//ghc/ghc/issues/13202)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13202">#13202</a></th>
|
|
|
<td>Levity polymorphism panic in GHCi</td></tr>
|
|
|
<tr><th>[\#13244](https://gitlab.haskell.org//ghc/ghc/issues/13244)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13244">#13244</a></th>
|
|
|
<td>Error Dealing with Unboxed Types and Type Families</td></tr>
|
|
|
<tr><th>[\#13275](https://gitlab.haskell.org//ghc/ghc/issues/13275)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13275">#13275</a></th>
|
|
|
<td>ghci ignores -fprint-explicit-runtime-reps</td></tr>
|
|
|
<tr><th>[\#13343](https://gitlab.haskell.org//ghc/ghc/issues/13343)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13343">#13343</a></th>
|
|
|
<td>Levity polymorphism-related GHC panic: expectJust zonkTcTyVarToVar</td></tr>
|
|
|
<tr><th>[\#13435](https://gitlab.haskell.org//ghc/ghc/issues/13435)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13435">#13435</a></th>
|
|
|
<td>Segfaults on levity-polymorphic type class</td></tr>
|
|
|
<tr><th>[\#13458](https://gitlab.haskell.org//ghc/ghc/issues/13458)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13458">#13458</a></th>
|
|
|
<td>Panic with unsafeCoerce and -dcore-lint</td></tr>
|
|
|
<tr><th>[\#13509](https://gitlab.haskell.org//ghc/ghc/issues/13509)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13509">#13509</a></th>
|
|
|
<td>Perplexing type error with unboxed tuples</td></tr>
|
|
|
<tr><th>[\#13601](https://gitlab.haskell.org//ghc/ghc/issues/13601)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13601">#13601</a></th>
|
|
|
<td>GHC errors but hangs</td></tr>
|
|
|
<tr><th>[\#13603](https://gitlab.haskell.org//ghc/ghc/issues/13603)</th>
|
|
|
<td>Can't resolve levity polymorphic superclass</td></tr>
|
|
|
<tr><th>[\#13929](https://gitlab.haskell.org//ghc/ghc/issues/13929)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13603">#13603</a></th>
|
|
|
<td>Can't resolve levity polymorphic superclass</td></tr>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13929">#13929</a></th>
|
|
|
<td>GHC panic with levity polymorphism</td></tr>
|
|
|
<tr><th>[\#13955](https://gitlab.haskell.org//ghc/ghc/issues/13955)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13955">#13955</a></th>
|
|
|
<td>Backpack does not handle unlifted types</td></tr>
|
|
|
<tr><th>[\#13963](https://gitlab.haskell.org//ghc/ghc/issues/13963)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/13963">#13963</a></th>
|
|
|
<td>Runtime representation confusingly displayed</td></tr>
|
|
|
<tr><th>[\#14555](https://gitlab.haskell.org//ghc/ghc/issues/14555)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14555">#14555</a></th>
|
|
|
<td>GHC Panic with TypeInType / levity polymorphism</td></tr>
|
|
|
<tr><th>[\#14561](https://gitlab.haskell.org//ghc/ghc/issues/14561)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14561">#14561</a></th>
|
|
|
<td>Panic on levity polymorphic very unsafe coerce</td></tr>
|
|
|
<tr><th>[\#14563](https://gitlab.haskell.org//ghc/ghc/issues/14563)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/14563">#14563</a></th>
|
|
|
<td>GHC Panic with TypeInType / levity polymorphism</td></tr>
|
|
|
<tr><th>[\#15180](https://gitlab.haskell.org//ghc/ghc/issues/15180)</th>
|
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15180">#15180</a></th>
|
|
|
<td>Make Control.Exception.throw levity polymorphic</td></tr>
|
|
|
<tr><th>[\#15181](https://gitlab.haskell.org//ghc/ghc/issues/15181)</th>
|
|
|
<td>Levity Polymorphic type signatures in GHC.Prim</td></tr></table> |
|
|
\ No newline at end of file |
|
|
<tr><th><a href="https://gitlab.haskell.org//ghc/ghc/issues/15181">#15181</a></th>
|
|
|
<td>Levity Polymorphic type signatures in GHC.Prim</td></tr></table>
|
|
|
|
|
|
|
|
|
|