Issues · Glasgow Haskell Compiler / GHC · GitLab

Panic on bad newtype unpacking

#21607 · created May 20, 2022 by Krzysztof Gogolewski Plow Tbug UnliftedNewtypes compiler crash
- 0
updated May 20, 2022
GHC 9.4 panic on a representation-polymorphic newtype instance

#21544 · created May 10, 2022 by sheaf 9.4.1 Phigh Tbug TypeFamilies UnliftedNewtypes compiler crash representation polymorphism typechecker
- 14
updated May 17, 2022
simple_app fails to beta-reduce through casts

#21377 · created Apr 11, 2022 by sheaf LinearTypes Phigh Tbug UnliftedDatatypes UnliftedNewtypes core lint representation polymorphism typechecker
- 4
updated Apr 21, 2022
GHC no longer instantiates representation-polymorphic newtype constructors

#21346 · created Apr 05, 2022 by sheaf Pnormal Tbug UnliftedNewtypes representation polymorphism typechecker
- 2
- 10
updated May 13, 2022
Should we allow a newtype with a representation-polymorphic field with NoFieldSelectors?

#20113 · created Jul 14, 2021 by sheaf Plow Tfeature request UnliftedNewtypes program incorrectly rejected records representation polymorphism
- 7
updated Apr 07, 2022
Allow data family instances with type family applications in the data family's result kind

#17503 · created Nov 21, 2019 by Sebastian Graf Pnormal Tfeature request TypeFamilies UnliftedNewtypes
- 5
updated Feb 18, 2020