Issues · Glasgow Haskell Compiler / GHC · GitLab

Kind error when using partial type signatures

#18542 · created Aug 05, 2020 by lennart@augustsson.net 9.2.1 Pnormal Tbug program incorrectly rejected typechecker
- CLOSED
- 4
updated Aug 06, 2020
Incremental `tcCheckSatisfiability` API

#18645 · created Sep 03, 2020 by Sebastian Graf Ttask needs triage pattern match warnings typechecker
- CLOSED
- 2
- 0
updated Jul 26, 2021
Why check for -fdefer-type-errors in metaTyVarUpdateOK?

#18689 · created Sep 14, 2020 by Richard Eisenberg TypeInType typechecker
- 1
updated Dec 22, 2020
GHC could not deduce constraint from itself

#18704 · created Sep 17, 2020 by rybochodonezzar Pnormal Tbug typechecker
- CLOSED
- 1
- 4
updated Oct 14, 2021
ThBrackCtxt is unused

#18715 · created Sep 18, 2020 by Ryan Scott TemplateHaskell typechecker
- CLOSED
- 2
- 3
updated Sep 21, 2020
Infer multiplicity of case expression

#18738 · created Sep 23, 2020 by Arnaud Spiwack LinearTypes Tfeature request typechecker
- 1
updated Jul 05, 2021
Infer multiplicity of let expression

#18739 · created Sep 23, 2020 by Arnaud Spiwack LinearTypes Tfeature request typechecker
- 6
updated Apr 12, 2021
Tighten up the treatment of loose types in the solver

#18753 · created Sep 26, 2020 by Richard Eisenberg TypeInType constraint solver typechecker
- CLOSED
- 3
- 1
updated Sep 30, 2020
Remove NoGhcTc, allow HsType GhcTc, HsDecl GhcTc

#18758 · created Sep 28, 2020 by Vladislav Zavialov Ttask typechecker
- 1
- 13
updated Sep 07, 2021
Typecheck record update via desugaring

#18802 · created Oct 05, 2020 by Simon Peyton Jones Ttask records typechecker
- 2
updated Oct 05, 2020
Instance/given overlap trips up the ambiguity check

#18850 · created Oct 15, 2020 by Richard Eisenberg OverlappingInstances ambiguity check typechecker
- 5
updated Oct 29, 2020
Non-confluence in the solver

#18851 · created Oct 15, 2020 by Richard Eisenberg FunctionalDependencies Pnormal Tbug UndecideableInstances constraint solver typechecker
- 41
updated Jan 04, 2021
Visibility mismatch between data declaration and kind signature, accepted!

#18863 · created Oct 19, 2020 by Icelandjack 9.2.1 needs triage typechecker
- CLOSED
- 2
- 6
updated Oct 31, 2020
Quantified equality constraints are not used for rewriting

#18873 · created Oct 21, 2020 by Richard Eisenberg QuantifiedConstraints constraint solver typechecker
- 3
updated Dec 10, 2020
Occurs-check-y Givens rewrite once, but not twice

#18875 · created Oct 22, 2020 by Richard Eisenberg TypeFamilies constraint solver typechecker
- CLOSED
- 3
- 3
updated Dec 04, 2020
Kind inference for newtypes in GADT syntax is deeply broken

#18891 · created Oct 26, 2020 by Richard Eisenberg 9.2.1 GADTs Pnormal PolyKinds StandaloneKindSignatures Tbug TypeFamilies TypeInType UnliftedNewtypes representation polymorphism typechecker
- CLOSED
- 2
- 3
updated Dec 08, 2020
Order-dependent type inference due to Note [Instance and Given overlap]

#18910 · created Oct 30, 2020 by Richard Eisenberg Pnormal Tbug TypeFamilies constraint solver typechecker
- CLOSED
- 3
- 5
updated Jan 06, 2021
ghc-8.8 does not infer kind

#18920 · created Nov 02, 2020 by jwaldmann 8.10.1 Tbug program incorrectly rejected typechecker
- CLOSED
- 2
- 5
updated Nov 09, 2020
Investigate touchable meta-variables in Givens

#18929 · created Nov 07, 2020 by Richard Eisenberg constraint solver partial type sigs typechecker
- CLOSED
- 9
updated Jan 02, 2021
Quick Look does not zonk return types

#18987 · created Nov 24, 2020 by Richard Eisenberg ImpredicativeTypes Ttask typechecker
- CLOSED
- 2
updated Dec 21, 2020
Partial type signature algorithm fails to infer constraints in the presence of GADTs

#19010 · created Nov 30, 2020 by sheaf Pnormal Tbug partial type sigs typechecker
- 16
updated Dec 20, 2020
Type wildcard infers differently than no type signature

#19013 · created Dec 01, 2020 by dminuoso Pnormal Tbug partial type sigs typechecker
- 1
updated Dec 10, 2020
Regression: HEAD incurs a reduction stack overflow on program involving type equality

#19042 · created Dec 09, 2020 by Ryan Scott 9.2.1 Phighest Tbug program incorrectly rejected typechecker
- CLOSED
- 9
- 12
updated Apr 14, 2021
Regression: HEAD requires FlexibleContexts because of inferred, redundant constraint

#19044 · created Dec 09, 2020 by Ryan Scott 9.2.1 OverlappingInstances Phighest Tbug program incorrectly accepted typechecker
- CLOSED
- 3
- 4
updated Dec 19, 2020
Allow named wildcards in constraints

#19051 · created Dec 10, 2020 by sheaf partial type sigs typechecker
- 8
updated Dec 23, 2020
Make the canonicaliser do unification

#19060 · created Dec 14, 2020 by Simon Peyton Jones Ttask typechecker
- 0
updated Dec 14, 2020
Partial type signature variable confuses instance solving

#19106 · created Dec 22, 2020 by Richard Eisenberg constraint solver partial type sigs typechecker
- CLOSED
- 2
- 2
updated Jan 25, 2021
GADT pattern match defeats instance solving

#19107 · created Dec 22, 2020 by Richard Eisenberg constraint solver typechecker
- CLOSED
- 2
- 5
updated Jan 25, 2021
Does the sub-type check in Note [Impedance matching] ever fail?

#19131 · created Dec 27, 2020 by Richard Eisenberg Ttask typechecker
- 3
updated Feb 17, 2021
Incorrect documentation around EqualCtList

#19137 · created Dec 30, 2020 by Richard Eisenberg constraint solver typechecker
- 0
updated Dec 30, 2020
panic: No skolem info when trying to use variable with polymorphic kind as Type/Constraint

#19140 · created Dec 31, 2020 by Jakob Brünker 9.2.1 RankNTypes Tbug compiler crash needs triage typechecker
- CLOSED
- 1
updated Dec 31, 2020
panic lookup_final_id with -fdefer-type-errors and kind error in instance definition

#19142 · created Dec 31, 2020 by Jakob Brünker Pnormal Tbug compiler crash deferred type errors typechecker
- CLOSED
- 3
- 6
updated Jan 22, 2021
GHC 9.0 no longer typechecks a program involving overloaded labels and type applications

#19154 · created Jan 02, 2021 by sheaf 9.2.1 Tbug program incorrectly rejected typechecker
- CLOSED
- 5
- 8
updated Feb 22, 2021
Regression around overloaded literals and type applications

#19167 · created Jan 04, 2021 by Richard Eisenberg 9.2.1 OverloadedStrings RebindableSyntax TypeApplications typechecker
- CLOSED
- 2
updated Feb 21, 2021
TypeInType prevents Typeable from being resolved from a given

#19196 · created Jan 08, 2021 by Serge Kosyrev TypeInType Typeable program incorrectly rejected typechecker
- CLOSED
- 3
updated Jan 11, 2021
‘:kind () :: '()’ doesn't give any output

#19197 · created Jan 09, 2021 by Icelandjack GHCi Tbug needs triage typechecker
- CLOSED
- 1
- 2
updated Jan 18, 2021
E-Graphs for representation of normalised refinement types in the pattern-match checker

#19272 · created Jan 28, 2021 by Sebastian Graf Ttask pattern match warnings simplifier typechecker
- 3
updated Sep 24, 2021
GHC 9.0 regression: plots-0.1.1.2 fails to build due to ambiguous type variable

#19315 · created Feb 03, 2021 by Ryan Scott 9.0.2 Phighest Tbug program incorrectly rejected typechecker
- CLOSED
- 11
updated Feb 10, 2021
oversized source range in type error message

#19364 · created Feb 13, 2021 by jwaldmann Pnormal Tbug error messages typechecker
- CLOSED
- 2
updated Mar 04, 2021
Surprising lack of generalisation using MonoLocalBinds

#19396 · created Feb 17, 2021 by Tom Ellis Tfeature request typechecker
- CLOSED
- 8
updated Mar 06, 2021
GHC 9.0 unable to deduce that instance signature is at least as general as class signature

#19419 · created Feb 23, 2021 by sheaf InstanceSigs typechecker
- CLOSED
- 2
updated Feb 25, 2021
Deprecate `-Winaccessible-code`

#19428 · created Feb 23, 2021 by Sebastian Graf Ttask pattern match warnings typechecker
- 3
updated May 05, 2021
GHC 9.0 rejects default signature that 8.10 accepts

#19432 · created Feb 25, 2021 by Ryan Scott DefaultSignatures Tbug program incorrectly rejected typechecker
- CLOSED
- 2
- 15
updated Mar 03, 2021
conduit-1.3.4 builds with 9.0.1, but not HEAD, due to regression in typechecking sections

#19457 · created Feb 27, 2021 by Ryan Scott 9.2.1 Phighest Tbug program incorrectly rejected typechecker
- CLOSED
- 2
- 3
updated Mar 09, 2021
"No skolem info" with the infinite kind

#19482 · created Mar 03, 2021 by Rinat Striungis 9.4.1 No skolem info Pnormal Tbug compiler crash typechecker
- 2
updated Sep 13, 2021
Relax Note [Phantom type variables in kinds] to allow for phantom levity vars

#19487 · created Mar 04, 2021 by Sebastian Graf UnliftedDatatypes core lint representation polymorphism typechecker
- 16
updated Jun 02, 2021
Tc trace of checkValidType panics in tcTypeKind for T16391b

#19495 · created Mar 05, 2021 by Sebastian Graf needs triage typechecker
- CLOSED
- 9
updated Jun 08, 2021
Typeclass fails to compile with StandaloneKindSignatures; only compiles with conventional kind annotations

#19498 · created Mar 06, 2021 by danidiaz ScopedTypeVariables StandaloneKindSignatures needs triage typechecker
- CLOSED
- 6
updated Mar 15, 2021
Dead suggestion for -XUnliftedNewtypes in checkNewDataCon

#19503 · created Mar 08, 2021 by Sebastian Graf needs triage typechecker
- 2
updated Mar 08, 2021
Levity monomorphic instantiation of unsafeCoerce# is rejected as being levity polymorphic in 9.0+

#19522 · created Mar 10, 2021 by Ryan Scott 9.0.2 Tbug program incorrectly rejected representation polymorphism typechecker
- CLOSED
- 3
updated Oct 11, 2021
Kind generalisation without -XPolyKinds leading to breakage

#19548 · created Mar 16, 2021 by Sebastian Graf PolyKinds Typeable needs triage typechecker
- CLOSED
- 2
updated Mar 17, 2021
The GHCi debugger loses type constraints

#19559 · created Mar 18, 2021 by Roland Senn GHCi Pnormal Tbug debugger typechecker
- 5
updated Apr 15, 2021
`plots` fails to typechecking in 9.2

#19565 · created Mar 19, 2021 by Ben Gamari 9.2.1 Pnormal Tbug program incorrectly rejected typechecker
- CLOSED
- 1
updated Mar 19, 2021
Implement type family reduction via term-level functions

#19634 · created Apr 02, 2021 by Rinat Striungis 9.4.1 Tfeature request TypeFamilies typechecker
- 1
- 2
updated Jun 28, 2021
GHC's failure to rewrite in coercions & kinds leads to spurious occurs-check failure

#19652 · created Apr 05, 2021 by Richard Eisenberg Plow Tbug TypeInType constraint solver typechecker
- 0
updated Apr 08, 2021
Exponential blowup in T9198 (regresssion from 8.10 and 9.0)

#19668 · created Apr 08, 2021 by vdukhovni 9.2.1 Phigh compiler perf typechecker
- CLOSED
- 19
updated Oct 11, 2021
runExists: a type-level version of runRW

#19675 · created Apr 09, 2021 by Simon Peyton Jones Plow Tfeature request typechecker
- 5
updated Aug 20, 2021
GHC does not rewrite in FunTy

#19677 · created Apr 09, 2021 by Richard Eisenberg Pnormal Tbug TypeInType constraint solver program incorrectly rejected representation polymorphism typechecker
- CLOSED
- 3
- 0
updated Sep 29, 2021
Constraint solver regression in 9.2

#19682 · created Apr 10, 2021 by Andres Löh 9.2.1 Phigh Tbug constraint solver typechecker
- CLOSED
- 4
- 6
updated Jul 28, 2021
Bottom dictionaries can be derived with QuantifiedConstraints, UndecidableInstances and UndecidableSuperClasses

#19690 · created Apr 12, 2021 by aadaa-fgtaa Pnormal QuantifiedConstraints Tbug UndecidableSuperClasses typechecker
- 5
updated Apr 16, 2021
Unexpected type-checking behavior with let and DataKinds

#19726 · created Apr 21, 2021 by benjamin Pnormal Tbug program incorrectly rejected typechecker
- 11
updated May 10, 2021
GHC 9.0+ fails to combine levity-polymorphic newtype constructor with TypeApplications

#19728 · created Apr 22, 2021 by Ryan Scott Phighest Tbug TypeApplications UnliftedNewtypes program incorrectly rejected representation polymorphism typechecker
- CLOSED
- 2
updated Apr 22, 2021
In-scope check for type variables can be confusing in presence of runtime representation polymorphism

#19765 · created Apr 28, 2021 by Richard Eisenberg Plow error messages typechecker
- 3
updated Apr 29, 2021
Weird behaviour with `tcIfaceExpr`

#19787 · created May 03, 2021 by Josh Meredith GHC API Pnormal Tbug typechecker
- 9
updated May 03, 2021
Use isReflexiveCo when building an MCo

#19815 · created May 09, 2021 by Simon Peyton Jones Coercions Pnormal Ttask compiler perf typechecker
- 0
updated May 11, 2021
Type application in pattern does not substitute correctly

#19847 · created May 14, 2021 by Richard Eisenberg Pnormal PatternSynonyms Tbug TypeApplications program incorrectly rejected typechecker
- 8
updated Jun 24, 2021
Wired-in names in hs-boot files are not fully checked

#19855 · created May 17, 2021 by Sylvain Henry Plow Ttask hs-boot typechecker
- 4
updated May 20, 2021
Confusing error message: could not deduce from identical context

#19860 · created May 17, 2021 by Jaro Reinders 9.4.1 Pnormal Tbug error messages typechecker
- 2
updated May 19, 2021
Using equality constraint in datatype kind signature leads to various strange behaviors

#19929 · created Jun 01, 2021 by Jakob Brünker DataKinds Tbug typechecker
- 1
- 1
updated Jun 14, 2021
Non-terminating substitution with derived constraints

#19974 · created Jun 10, 2021 by sheaf Pnormal Tbug TypeFamilies constraint solver typechecker
- 2
updated Jun 30, 2021
Use predicates in the constraint solver

#20000 · created Jun 16, 2021 by Krzysztof Gogolewski Plow Ttask constraint solver typechecker
- 2
updated Oct 20, 2021
Degradation in error message clarity for ` GHC.TypeNats.<=?`

#20009 · created Jun 17, 2021 by Christiaan Baaij Phigh Tbug constraint solver error messages type literals typechecker
- CLOSED
- 8
- 5
updated Sep 17, 2021
Difference between (Coercible f g) and (forall x. Coercible (f x) (g x))

#20048 · created Jun 25, 2021 by Oleg Grenrus Coercible Pnormal Tquestion typechecker
- 2
updated Jul 30, 2021
No skolem info panic involving typed hole

#20063 · created Jun 29, 2021 by sheaf No skolem info Pnormal Tbug compiler crash typechecker typed holes
- 2
updated Jun 30, 2021
When does GHC quantify over variables fully determined by fundeps?

#20064 · created Jun 30, 2021 by sheaf FunctionalDependencies Plow Ttask constraint solver typechecker
- 2
updated Jun 30, 2021
Backpack can end up confused when a non-nullary type synonym implements abstract data

#20133 · created Jul 19, 2021 by sheaf Tbug backpack typechecker
- 1
updated Oct 19, 2021
Unify wastes effort on casts

#20146 · created Jul 22, 2021 by Simon Peyton Jones Coercions Plow Tquestion typechecker
- 3
updated Jul 27, 2021
Use a specific Reduction datatype instead of `(Type,Coercion)`

#20161 · created Jul 25, 2021 by sheaf Coercions Plow Ttask typechecker
- CLOSED
- 2
- 0
updated Aug 05, 2021
Deferred type errors are too lazy, and can be dropped by Core optimisations

#20227 · created Aug 12, 2021 by sheaf Tbug constraint solver deferred type errors typechecker
- CLOSED
- 9
updated Aug 14, 2021
mightEqualLater finds an unbound cbv

#20231 · created Aug 14, 2021 by YellPika Pnormal Tbug typechecker
- 2
updated Aug 14, 2021
let-bind more types to save space

#20264 · created Aug 22, 2021 by Richard Eisenberg Pnormal Tbug compiler perf typechecker
- 4
updated Oct 22, 2021
Representation-polymorphic unboxed sum causes a panic

#20277 · created Aug 24, 2021 by sheaf Pnormal Tbug compiler crash representation polymorphism typechecker
- CLOSED
- 3
- 2
updated Oct 18, 2021
Constraint solver loop with quantified constraints

#20304 · created Aug 28, 2021 by sheaf Pnormal QuantifiedConstraints Tbug compile-time loop constraint solver typechecker
- 0
updated Aug 31, 2021
GHC complains about impredicativity in type synonym for a quantified constraint

#20318 · created Aug 31, 2021 by Richard Eisenberg ImpredicativeTypes QuantifiedConstraints Tbug program incorrectly rejected typechecker
- 2
updated Sep 07, 2021
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
- 4
updated Sep 15, 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
Allow user-written Coercible instances in signature files

#20440 · created Sep 29, 2021 by sheaf Coercible Plow Tfeature request backpack constraint solver typechecker
- 0
updated Sep 29, 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
Assert that we don't try to look up an Id too early (Occurrence is GlobalId, but binding is LocalId)

#20447 · created Sep 30, 2021 by sheaf Plow Ttask hs-boot typechecker
- 0
updated Oct 04, 2021
Record explanations for insolubility of constraints rather than reconstitute the problem after the fact

#20468 · created Oct 03, 2021 by sheaf No skolem info Plow Ttask constraint solver diagnostic quality error messages typechecker
- 3
updated Oct 05, 2021
Coercions are not properly threaded through arrow notation desugaring, resulting in Core Lint errors

#20469 · created Oct 03, 2021 by Alexis King Arrows GADTs Pnormal Tbug core lint typechecker
- 3
updated Oct 22, 2021
Skolems can escape in arrow notation, resulting in Core Lint errors

#20470 · created Oct 03, 2021 by Alexis King Arrows GADTs Pnormal Tbug core lint typechecker
- 2
updated Oct 22, 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
- 4
updated Oct 19, 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
- 7
updated Oct 21, 2021
Add a typing rule for dataToTag#

#20532 · created Oct 20, 2021 by Krzysztof Gogolewski Plow Ttask primops typechecker
- 1
- 1
updated Oct 22, 2021

Prev
1
…
9
10
11
12
13
Next