Issues · Glasgow Haskell Compiler / GHC · GitLab

Representation-polymorphism checks for primops check too many arguments

#20330 · created Sep 03, 2021 by sheaf Pnormal Tbug program incorrectly rejected representation polymorphism typechecker
- CLOSED
- 3
- 0
updated Oct 18, 2021
Constraint-vs-Type causes a panic

#20356 · created Sep 10, 2021 by Richard Eisenberg Pnormal Tbug TypeInType compiler crash typechecker
- CLOSED
- 4
- 1
updated Oct 22, 2021
Newtype over fully applied Levity Polymorphic Type family gives Levity Polymorphism error

#20363 · created Sep 12, 2021 by Tarmean Pnormal Tbug representation polymorphism typechecker
- CLOSED
- 5
updated Oct 29, 2021
Backpack does not support -ddump-tc-trace

#20396 · created Sep 20, 2021 by sheaf Plow Tbug backpack debug information developer experience driver typechecker
- CLOSED
- 3
- 0
updated Oct 14, 2021
Make `eqTypeIO` that sees through type families

#20408 · created Sep 22, 2021 by Ziyang Liu Pnormal Tquestion constraint solver plugins typechecker
- CLOSED
- 13
updated Oct 04, 2021
Type application in patterns ignores inferredness of type variables

#20443 · created Sep 29, 2021 by Jakob Brünker 9.4.1 ScopedTypeVariables Tbug TypeApplications typechecker
- CLOSED
- 2
- 1
updated Oct 19, 2021
Panic in pprMatch when "deriving Foldable" is used with -ddump-tc-trace

#20496 · created Oct 08, 2021 by Artyom Kuznetsov 9.4.1 Phigh compiler crash pretty printing typechecker
- CLOSED
- 5
updated Oct 28, 2021
GHC 9.2 rejects certain poly-kinded unlifted newtype instances

#20527 · created Oct 19, 2021 by sheaf 9.2.1 Pnormal PolyKinds Tbug TypeApplications TypeFamilies UnliftedNewtypes backport needed:9.2 program incorrectly rejected typechecker
- CLOSED
- 2
- 9
updated Oct 29, 2021
Redundant-constraints warning complains about the wrong constraint

#20602 · created Nov 02, 2021 by Richard Eisenberg 9.4.1 Pnormal Tbug constraint solver error messages typechecker
- CLOSED
- 4
- 0
updated Nov 13, 2021
ImpredicativeTypes vs. do notation

#20651 · created Nov 09, 2021 by David Feuer ImpredicativeTypes typechecker
- CLOSED
- 1
updated Nov 09, 2021
[regression] ghc 9.2.1 complains about "Uninferrable type variables" that ghc 9.0.1 can infer fine

#20675 · created Nov 12, 2021 by JasonGross Pnormal PolyKinds Ttask documentation typechecker
- CLOSED
- 5
updated Nov 15, 2021

Prev
1
…
7
8
9
10
11
Next