Issues · Glasgow Haskell Compiler / GHC · GitLab

Unable to infer type when using DuplicateRecordFields

#11343 · opened Jan 03, 2016 by Matthew Pickering 5 OverloadedRecordFields Pnormal Trac import feature request records typechecker
- CLOSED
- 1
- 11
updated Nov 18, 2020
Remove the word "skolem" from user error messages

#11169 · opened Dec 06, 2015 by David Feuer 5 Pnormal Trac import feature request typechecker
- 1
- 2
updated Jul 07, 2019
DataKinds promotion of String -> Symbol and Natural -> Nat

#10776 · opened Aug 16, 2015 by htebalaka 5 DataKinds Pnormal Trac import feature request typechecker
- 1
- 6
updated Oct 28, 2020
Allow defining kinds alone, without a datatype

#6024 · opened Apr 19, 2012 by dreixel 8.0.1 5 Pnormal Trac import feature request typechecker
- 1
- 11
updated Jul 07, 2019
functions without implementations

#393 · opened May 26, 2005 by c_maeder 5 Pnormal Trac import feature request newcomer typechecker
- 1
- 39
updated Jul 07, 2019
Dead suggestion for -XUnliftedNewtypes in checkNewDataCon

#19503 · opened Mar 08, 2021 by Sebastian Graf needs triage typechecker
- 2
updated Mar 08, 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
- 4
updated Mar 08, 2021
Tc trace of checkValidType panics in tcTypeKind for T16391b

#19495 · opened Mar 05, 2021 by Sebastian Graf needs triage typechecker
- 2
updated Mar 06, 2021
Relax Note [Phantom type variables in kinds] to allow for phantom levity vars

#19487 · opened Mar 04, 2021 by Sebastian Graf core lint needs triage typechecker
- 2
updated Mar 05, 2021
"No skolem info" with the infinite kind

#19482 · opened Mar 03, 2021 by Rinat Striungis 9.2.1 Pnormal bug compiler crash typechecker
- 1
updated Mar 04, 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 bug program incorrectly rejected typechecker
- 1
- 3
updated Mar 06, 2021
GHC 9.0 rejects default signature that 8.10 accepts

#19432 · opened Feb 25, 2021 by Ryan Scott DefaultSignatures bug program incorrectly rejected typechecker
- CLOSED
- 2
- 15
updated Mar 03, 2021
Deprecate `-Winaccessible-code`

#19428 · opened Feb 23, 2021 by Sebastian Graf pattern match warnings task typechecker
- 3
updated Mar 02, 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
Surprising lack of generalisation using MonoLocalBinds

#19396 · opened Feb 17, 2021 by Tom Ellis feature request typechecker
- CLOSED
- 8
updated Mar 06, 2021
oversized source range in type error message

#19364 · opened Feb 13, 2021 by jwaldmann Pnormal bug error messages typechecker
- CLOSED
- 2
updated Mar 04, 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 bug program incorrectly rejected typechecker
- CLOSED
- 11
updated Feb 10, 2021
E-Graphs for representation of normalised refinement types in the pattern-match checker

#19272 · opened Jan 28, 2021 by Sebastian Graf pattern match warnings simplifier task typechecker
- 1
updated Jan 29, 2021
‘:kind () :: '()’ doesn't give any output

#19197 · opened Jan 09, 2021 by Icelandjack GHCi bug needs triage typechecker
- CLOSED
- 1
- 2
updated Jan 18, 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

Prev
1
2
3
4
5
6
…
63
Next