Issues · Glasgow Haskell Compiler / GHC · GitLab

Core Lint error with sneaky use of levity polymorphism in kinds

#18624 · opened Aug 30, 2020 by Ryan Scott bug compiler crash core lint levity polymorphism
- 15
updated Oct 03, 2020
Eliminate excessive RuntimeRep polymorphism in primops 0 of 3 tasks completed

#18080 · opened Apr 21, 2020 by Ben Gamari levity polymorphism primops task
- 1
updated Apr 22, 2020
Some levity polymorphism checks do not have coverage

#17907 · opened Mar 09, 2020 by Krzysztof Gogolewski levity polymorphism task
- 1
updated Mar 09, 2020
runtimeRepPrimRep panic when combining UnboxedTuples with -fhpc or {-prof,-fprof-auto}

#17846 · opened Feb 17, 2020 by Ryan Scott HPC UnboxedTuples bug compiler crash levity polymorphism profiling
- 5
updated Mar 11, 2020
Assertion failure with levity polymorphism

#17817 · opened Feb 11, 2020 by Krzysztof Gogolewski Phigh bug compiler crash levity polymorphism
- 4
updated Feb 17, 2020
Using default methods with (r ~ LiftedRep) leads to Iface Lint failure

#17723 · opened Jan 21, 2020 by Ryan Scott DefaultSignatures Phigh bug compiler crash levity polymorphism
- 10
updated Feb 07, 2021
eqType fails on comparing FunTys 0 of 3 tasks completed

#17675 · opened Jan 13, 2020 by Richard Eisenberg Pnormal TypeInType bug levity polymorphism
- 1
- 2
updated Feb 08, 2021
Levity-polymorphism checker is too aggressive for uses of `coerce` on levity-polymorphic newtypes

#17670 · opened Jan 13, 2020 by Alexis King Pnormal bug levity polymorphism program incorrectly rejected
- 9
updated Jun 19, 2020
Support unboxed types within Safe Haskell

#17504 · opened Nov 21, 2019 by Krzysztof Gogolewski 1 Safe Haskell feature request levity polymorphism
- 1
updated Nov 25, 2019
Arcane interaction of RuntimeRep with StandaloneKindSignatures

#17268 · opened Sep 28, 2019 by Vladislav Zavialov Pnormal StandaloneKindSignatures bug levity polymorphism
- 6
updated Oct 08, 2019
Levity polymorphism and defaulting

#17201 · opened Sep 17, 2019 by Krzysztof Gogolewski levity polymorphism task typechecker
- 10
updated Sep 24, 2020
Levity Polymorphic Pattern Synonyms

#17178 · opened Sep 11, 2019 by Andrew Martin PatternSynonyms feature request levity polymorphism
- 6
updated Feb 17, 2020
Documentation of RuntimeRep is wrong about 64-bit integer reps

#16964 · opened Jul 21, 2019 by Ömer Sinan Ağacan 8.8.1 Pnormal documentation levity polymorphism question
- 55
updated Nov 01, 2019
Disabling -fprint-explicit-runtime-reps defaults too much

#16468 · opened Mar 20, 2019 by Krzysztof Gogolewski bug levity polymorphism pretty printing
- 2
updated Oct 12, 2020
Relaxing Levity-Polymorphic Binder Check for Lifted vs Unlifted pointers

#15532 · opened Aug 17, 2018 by Andrew Martin 8.6.1 5 Pnormal Trac import feature request levity polymorphism
- 19
updated Mar 19, 2020
Allow levity polymorphism in binding position

#14917 · opened Mar 13, 2018 by Andrew Martin 5 Pnormal Trac import feature request levity polymorphism
- 23
updated Nov 12, 2019
Replace ArrayArray# with either UnliftedArray# or Array#

#14196 · opened Sep 07, 2017 by Andrew Martin 5 Pnormal Trac import feature request levity polymorphism
- 9
updated Jul 07, 2019
Non-local bug reporting around levity polymorphism

#14185 · opened Sep 04, 2017 by Richard Eisenberg 5 Pnormal Trac import broken test bug error messages levity polymorphism
- 3
updated Jul 07, 2019
Permit levity polymorphism in kinds

#14180 · opened Sep 01, 2017 by David Feuer 5 Pnormal Trac import TypeInType bug levity polymorphism typechecker
- 18
updated Sep 16, 2020
Allow type families in RuntimeReps

#13105 · opened Jan 11, 2017 by Richard Eisenberg 5 Pnormal Trac import bug levity polymorphism
- 14
updated May 13, 2020