wiki:LevityPolymorphism

Levity polymorphism

This is a status page for levity polymorphism, as described in the Levity Polymorphism paper.

See also UnliftedDataTypes

Tickets

Use Keyword = LevityPolymorphism to ensure that a ticket ends up on these lists.

Open Tickets:

#11715
Constraint vs *
#12708
RFC: Representation polymorphic Num
#12980
Unlifted class method rejected
#12989
($) can have a more general type
#13105
Allow type families in RuntimeReps
#13233
typePrimRep panic while compiling GHC with profiling
#13592
Newtype type class with compiler generated instances
#13595
Should ‘coerce’ be levity polymorphic?
#14185
Non-local bug reporting around levity polymorphism
#14196
Replace ArrayArray# with either UnliftedArray# or Array#

Closed Tickets:

#11431
GHC instantiates levity-polymorphic type variables with foralls
#11465
Eliminate check_lifted check in TcValidity
#11471
Kind polymorphism and unboxed types: bad things are happening
#11473
Levity polymorphism checks are inadequate
#11714
Kind of (->) type constructor is overly constrained
#11724
Must check for representation polymorphism in datatype declarations
#11736
Allow unsaturated uses of unlifted types in Core
#12668
Program that fails Core Lint terribly
#12670
Representation polymorphism validity check is too strict
#12709
GHC panic
#12718
Segmentation fault, runtime representation polymorphism
#12809
TYPE 'UnboxedTupleRep is still a lie
#12901
Levity polymorphic expressions mustn't be floated out
#12905
Core lint failure with pattern synonym and levity polymorphism
#12911
Levity polymorphism check eliminates non-levity-polymorphic data constructor
#12973
No levity-polymorphic arguments
#12987
Core lint error with levity polymorphism
#13202
Levity polymorphism panic in GHCi
#13244
Error Dealing with Unboxed Types and Type Families
#13343
Levity polymorphism-related GHC panic: expectJust zonkTcTyVarToVar
#13435
Segfaults on levity-polymorphic type class
#13458
Panic with unsafeCoerce and -dcore-lint
#13509
Perplexing type error with unboxed tuples
#13601
GHC errors but hangs
#13603
Can't resolve levity polymorphic superclass
#13929
GHC panic with levity polymorphism
#13955
Backpack does not handle unlifted types
#13963
Runtime representation confusingly displayed

Last modified 12 months ago Last modified on Nov 29, 2016 4:21:00 PM