Issues · Glasgow Haskell Compiler / GHC · GitLab

Kind error when using partial type signatures

#18542 · opened 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 · opened Sep 03, 2020 by Sebastian Graf Ttask needs triage pattern match warnings typechecker
- CLOSED
- 2
- 0
updated Sep 14, 2020
Why check for -fdefer-type-errors in metaTyVarUpdateOK?

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

#18704 · opened Sep 17, 2020 by rybochodonezzar Pnormal Tbug typechecker
- 1
- 3
updated Sep 30, 2020
ThBrackCtxt is unused

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

#18738 · opened Sep 23, 2020 by Arnaud Spiwack LinearTypes Tfeature request typechecker
- 1
updated Apr 12, 2021
Infer multiplicity of let expression

#18739 · opened 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 · opened 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 · opened Sep 28, 2020 by Vladislav Zavialov 9.2.1 Ttask typechecker
- 1
- 13
updated Mar 28, 2021
Typecheck record update via desugaring

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

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

#18851 · opened 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 · opened 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 · opened 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 · opened 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 · opened Oct 26, 2020 by Richard Eisenberg 9.2.1 GADTs Pnormal PolyKinds StandaloneKindSignatures Tbug TypeFamilies TypeInType UnliftedNewtypes levity polymorphism typechecker
- CLOSED
- 2
- 3
updated Dec 08, 2020
Order-dependent type inference due to Note [Instance and Given overlap]

#18910 · opened 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 · opened 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 · opened 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 · opened 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 · opened 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 · opened 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 · opened Dec 09, 2020 by Ryan Scott 9.2.1 Phighest Tbug program incorrectly rejected typechecker
- CLOSED
- 7
- 12
updated Apr 14, 2021
Regression: HEAD requires FlexibleContexts because of inferred, redundant constraint

#19044 · opened 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 · opened Dec 10, 2020 by sheaf partial type sigs typechecker
- 8
updated Dec 23, 2020
Make the canonicaliser do unification

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

#19106 · opened 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 · opened 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 · opened Dec 27, 2020 by Richard Eisenberg Ttask typechecker
- 3
updated Feb 17, 2021
Incorrect documentation around EqualCtList

#19137 · opened 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 · opened 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 · opened 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 · opened 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 · opened 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 · opened 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 · opened 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 · opened Jan 28, 2021 by Sebastian Graf Ttask pattern match warnings simplifier typechecker
- 1
updated Jan 29, 2021
GHC 9.0 regression: plots-0.1.1.2 fails to build due to ambiguous type variable

#19315 · opened 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 · opened Feb 13, 2021 by jwaldmann Pnormal Tbug error messages typechecker
- CLOSED
- 2
updated Mar 04, 2021
Surprising lack of generalisation using MonoLocalBinds

#19396 · opened 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 · opened Feb 23, 2021 by sheaf InstanceSigs typechecker
- CLOSED
- 2
updated Feb 25, 2021
Deprecate `-Winaccessible-code`

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

#19432 · opened 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 · opened 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 · opened Mar 03, 2021 by Rinat Striungis 9.2.1 Pnormal Tbug compiler crash typechecker
- 1
updated Mar 29, 2021
Relax Note [Phantom type variables in kinds] to allow for phantom levity vars

#19487 · opened Mar 04, 2021 by Sebastian Graf core lint typechecker
- 2
updated Apr 08, 2021
Tc trace of checkValidType panics in tcTypeKind for T16391b

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

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

#19503 · opened 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 · opened Mar 10, 2021 by Ryan Scott 9.0.2 Tbug backport needed:9.0 levity polymorphism program incorrectly rejected typechecker
- CLOSED
- 3
updated Apr 10, 2021
Kind generalisation without -XPolyKinds leading to breakage

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

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

#19565 · opened 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 · opened Apr 02, 2021 by Rinat Striungis 9.4.1 Tfeature request TypeFamilies typechecker
- 1
- 2
updated Apr 09, 2021
GHC's failure to rewrite in coercions & kinds leads to spurious occurs-check failure

#19652 · opened 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 · opened Apr 08, 2021 by vdukhovni 9.2.1 Phigh backport needed:9.0 compiler perf typechecker
- 15
updated Apr 15, 2021
runExists: a type-level version of runRW

#19675 · opened Apr 09, 2021 by Simon Peyton Jones Plow Tfeature request typechecker
- 3
updated Apr 09, 2021
GHC does not rewrite in FunTy

#19677 · opened Apr 09, 2021 by Richard Eisenberg Pnormal Tbug TypeInType constraint solver levity polymorphism program incorrectly rejected typechecker
- 0
updated Apr 12, 2021
Constraint solver regression in 9.2

#19682 · opened Apr 10, 2021 by Andres Löh 9.2.1 Phigh Tbug constraint solver typechecker
- 1
- 4
updated Apr 13, 2021
Bottom dictionaries can be derived with QuantifiedConstraints, UndecidableInstances and UndecidableSuperClasses

#19690 · opened Apr 12, 2021 by aadaa-fgtaa Pnormal QuantifiedConstraints Tbug UndecidableSuperClasses typechecker
- 4
updated Apr 15, 2021

Prev
1
…
9
10
11
12
13
Next