Issues · Glasgow Haskell Compiler / GHC

New issue

Bad error message for incorrect pattern synonym signature

#10873 · opened Sep 12, 2015 by Matthew Pickering 8.0.1 5 Pnormal Tbug Trac import newcomer typechecker
- CLOSED
- 8
updated Jul 07, 2019
stack overflow regression

#10876 · opened Sep 13, 2015 by dmwit 8.0.1 5 Pnormal Tbug Trac import compiler crash typechecker
- CLOSED
- 2
updated Jul 07, 2019
BadSock triggers failing ASSERT

#10896 · opened Sep 18, 2015 by Edward Z. Yang 8.0.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 5
updated Jul 07, 2019
Incorrect ASSERT for buildPatSyn

#10897 · opened Sep 19, 2015 by Edward Z. Yang 8.0.1 5 Pnormal Tbug Trac import compiler crash typechecker
- CLOSED
- 5
updated Jul 07, 2019
layers-0.1 does not compile with ghc-7.10 (likely a regression from ghc-7.8)

#10931 · opened Oct 04, 2015 by Sergei Trofimovich 8.0.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 7
updated Jul 07, 2019
Odditites regarding Any and typeclasses.

#10939 · opened Oct 07, 2015 by mniip 8.0.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019
Add class/context information to typed hole relevant bindings

#10954 · opened Oct 09, 2015 by David Feuer 8.0.1 5 Pnormal Tfeature request Trac import typechecker typed holes
- CLOSED
- 1
updated Jul 07, 2019
Anonymous type instances

#10978 · opened Oct 16, 2015 by benjamin.hodgson 5 Pnormal Tfeature request Trac import typechecker
- 4
updated Jul 07, 2019
Checking whether a default declaration is an instance of a defaultable typeclass is broken

#10990 · opened Oct 20, 2015 by kanetw 3 Plow Tbug Trac import typechecker
- CLOSED
- 3
updated Jul 07, 2019
Don't permit type variables in the context unless they are in the type

#10991 · opened Oct 20, 2015 by bernalex 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 3
updated Jul 07, 2019
Type family injectivity annotations ignored in hs-boot files

#11007 · opened Oct 22, 2015 by Richard Eisenberg 8.0.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 5
updated Jul 07, 2019
Panic with incorrect pattern synonym signature

#11039 · opened Oct 30, 2015 by Matthew Pickering 8.0.1 7 Phigh Tbug Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019
Spurious superclass cycle error with type equalities

#11067 · opened Nov 07, 2015 by oerjan@nvg.ntnu.no 8.0.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 16
updated Jul 07, 2019
Incorrect warning about redundant constraints

#11099 · opened Nov 17, 2015 by Iavor S. Diatchki 5 Pnormal Tbug Trac import custom type errors typechecker
- 5
updated Jul 07, 2019
Indicate missing associated type instances

#11115 · opened Nov 20, 2015 by rimmington 5 Pnormal Tfeature request Trac import typechecker
- 2
updated Jul 07, 2019
Ambiguous inferred type causes a panic

#11122 · opened Nov 22, 2015 by tuplanolla 8.0.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 7
updated Jul 07, 2019
Associated type family: panic due to mismatch in arity of default instances

#11136 · opened Nov 26, 2015 by airini 8.0.1 5 Pnormal Tbug Trac import compiler crash typechecker
- CLOSED
- 2
updated Jul 07, 2019
Better error message when instance signature is incorrect

#11141 · opened Nov 27, 2015 by Edward Z. Yang 5 Pnormal Tbug Trac import documentation typechecker
- 0
updated Jul 07, 2019
Type-level skolem capture leads to core lint error

#11142 · opened Nov 27, 2015 by Richard Eisenberg 8.0.1 7 Phigh Tbug Trac import typechecker
- CLOSED
- 7
updated Jul 07, 2019
GND accepts ill-roled coercion when manually defining it won't typecheck

#11152 · opened Dec 01, 2015 by Ryan Scott 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 6
updated Jul 07, 2019
Type-changing record update catch-all in sum type doesn't typecheck

#11156 · opened Dec 02, 2015 by afarmer 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 3
updated Jul 07, 2019
Remove the word "skolem" from user error messages

#11169 · opened Dec 06, 2015 by David Feuer 5 Pnormal Tfeature request Trac import typechecker
- 1
- 2
updated Jul 07, 2019
Give strong preference to type variable names in scope when reporting hole contexts

#11186 · opened Dec 09, 2015 by David Feuer 5 Pnormal Tfeature request Trac import typechecker typed holes
- 8
updated Jul 07, 2019
Induced `Eq` constraint on numeric literal + partial type signature = panic!

#11192 · opened Dec 10, 2015 by kwf 8.0.1 5 Pnormal Tbug Trac import compiler crash numerics typechecker
- CLOSED
- 2
updated Jul 07, 2019
Stack overflow instead of type check failure in Servant route

#11220 · opened Dec 14, 2015 by Leonid Onokhov 8.0.1 7 Phigh Tbug Trac import compiler crash typechecker
- CLOSED
- 9
updated Jul 07, 2019
Type synonyms are not expanded in the data type declaration return kind

#11237 · opened Dec 16, 2015 by thomasw 8.0.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 4
updated Jul 07, 2019
Kind-level PartialTypeSignatures causes internal error

#11241 · opened Dec 17, 2015 by Adam Gundry 8.0.1 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 4
updated Jul 07, 2019
Regression typechecking type synonym which includes `Any`.

#11246 · opened Dec 17, 2015 by Matthew Pickering 8.0.1 10 Phighest Tbug Trac import TypeInType typechecker
- CLOSED
- 9
updated Jul 07, 2019
Expected kind ‘k0’, but has kind ‘(forall k. k, forall k. k)’

#11255 · opened Dec 18, 2015 by atnnn 8.0.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019
Spurious potential superclass cycle with constraint synonyms

#11278 · opened Dec 23, 2015 by Edward Z. Yang 8.0.1 7 Phigh Tbug Trac import typechecker
- CLOSED
- 1
updated Jul 07, 2019
Type checker regression introduced by visible type-application

#11305 · opened Dec 28, 2015 by Herbert Valerio Riedel 8.0.1 10 Phighest Tbug Trac import typechecker
- CLOSED
- 3
updated Jul 07, 2019
Awkward error message "Expecting one fewer argument to ‘*’"

#11313 · opened Dec 29, 2015 by rwbarton 8.0.1 3 Plow Tbug Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019
ImpredicativeTypes even more broken than usual

#11319 · opened Dec 30, 2015 by Icelandjack 5 ImpredicativeTypes Pnormal Tbug Trac import typechecker
- CLOSED
- 17
updated Jul 07, 2019
Type of hole does not get refined after pattern matching on [GADT] constructors

#11325 · opened Dec 31, 2015 by Icelandjack 5 GADTs Pnormal Tbug Trac import error messages typechecker
- CLOSED
- 7
updated Jul 07, 2019
GHC panic when calling typeOf on a promoted data constructor

#11334 · opened Jan 01, 2016 by Ryan Scott 8.0.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 19
updated Jul 07, 2019
Possible type-checker regression in GHC 8.0

#11339 · opened Jan 02, 2016 by Herbert Valerio Riedel 8.0.2 10 Phighest Tbug Trac import TypeInType typechecker
- CLOSED
- 12
updated Jul 07, 2019
Unable to infer type when using DuplicateRecordFields

#11343 · opened Jan 03, 2016 by Matthew Pickering 5 OverloadedRecordFields Pnormal Tfeature request Trac import records typechecker
- CLOSED
- 1
- 11
updated Nov 18, 2020
Scoped type variables in pattern synonyms

#11351 · opened Jan 04, 2016 by Icelandjack 8.0.1 5 Pnormal Tbug Tfeature request Trac import typechecker
- CLOSED
- 5
updated Jul 07, 2019
Allow applying type to label

#11352 · opened Jan 04, 2016 by Icelandjack 5 Pnormal Tfeature request Trac import TypeApplications typechecker
- 3
updated Jul 07, 2019
GHC panic

#11356 · opened Jan 05, 2016 by Icelandjack 8.0.1 5 Pnormal Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019
Test tc253 doesn't pass with reversed uniques

#11361 · opened Jan 06, 2016 by niteria 8.0.1 7 Phigh Tbug Trac import typechecker
- CLOSED
- 8
updated Jul 07, 2019
Possible type-checker regression in GHC 8.0

#11364 · opened Jan 06, 2016 by Herbert Valerio Riedel 8.0.1 10 Phighest Tbug Trac import typechecker
- CLOSED
- 7
updated Jul 07, 2019
Suppress redundant-constraint warnings in case of empty classes

#11369 · opened Jan 07, 2016 by Herbert Valerio Riedel 5 Pnormal Tbug Trac import typechecker
- 22
updated Jan 23, 2020
Type aliases twice as slow to compile as closed type families.

#11375 · opened Jan 07, 2016 by danilo2 7 Phigh Tbug Trac import compiler perf typechecker
- CLOSED
- 8
updated Jul 07, 2019
Inconsistent specified type variables among functions and datatypes/classes when using -XTypeApplications

#11376 · opened Jan 08, 2016 by Ryan Scott 8.0.1 5 Pnormal Tbug Trac import TypeApplications TypeInType typechecker
- CLOSED
- 33
updated Jul 07, 2019
Error says to fix incorrect return type

#11384 · opened Jan 08, 2016 by Icelandjack 5 GADTs Pnormal Tbug Trac import error messages typechecker
- 5
updated Jan 23, 2020
Unify named wildcards in different type applications

#11385 · opened Jan 08, 2016 by Icelandjack 5 Pnormal Tfeature request Trac import TypeApplications typechecker typed holes
- CLOSED
- 10
updated Jul 07, 2019
TypeError is fragile

#11391 · opened Jan 09, 2016 by Ben Gamari 8.0.1 7 Phigh Tbug Trac import custom type errors error messages typechecker
- CLOSED
- 8
updated Jul 07, 2019
Type mismatch in local definitions in Haskell 98 code

#11397 · opened Jan 10, 2016 by Lemming 8.0.1 10 Phighest Tbug Trac import TypeApplications typechecker
- CLOSED
- 6
updated Jul 07, 2019
Ill-kinded instance head involving -XTypeInType can invoke GHC panic

#11399 · opened Jan 10, 2016 by Ryan Scott 8.0.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 4
updated Jul 07, 2019
* is not an indexed type family

#11400 · opened Jan 10, 2016 by Ryan Scott 8.2.2 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 10
updated Jul 07, 2019
-XTypeInType uses up all memory when used in data family instance

#11407 · opened Jan 11, 2016 by Ryan Scott 8.0.1 10 Phighest Tbug Trac import TypeInType compiler perf typechecker
- CLOSED
- 5
updated Jul 07, 2019
GHC allows you to quantify variables over TYPE 'Unlifted (a.k.a, #)

#11411 · opened Jan 12, 2016 by Ryan Scott 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019
GHC mistakenly believes datatype with type synonym in its type can't be eta-reduced

#11416 · opened Jan 13, 2016 by Ryan Scott 8.0.1 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 5
updated Jul 07, 2019
"Occurs check" not considered when reducing closed type families

#11424 · opened Jan 14, 2016 by Iavor S. Diatchki 5 Pnormal Tbug Trac import typechecker
- 7
updated Jul 07, 2019
ImpredicativeTypes causes GHC panic with 8.0.1-rc1

#11428 · opened Jan 14, 2016 by Ryan Scott 8.0.1 7 ImpredicativeTypes Phigh Tbug Trac import TypeApplications typechecker
- CLOSED
- 2
updated Jul 07, 2019
Kinds in type synonym/data declarations can unexpectedly unify

#11453 · opened Jan 18, 2016 by Ryan Scott 5 Pnormal Tbug Trac import TypeInType error messages typechecker
- CLOSED
- 1
updated Jul 07, 2019
Terrible failure of type inference in visible type application

#11458 · opened Jan 19, 2016 by Simon Peyton Jones 8.0.1 10 Phighest Tbug Trac import TypeApplications typechecker
- CLOSED
- 4
updated Jul 07, 2019
Constraint synonym with Implicit Parameter

#11466 · opened Jan 20, 2016 by Joachim Breitner 8.0.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 8
updated Jul 07, 2019
Kind polymorphism and unboxed types: bad things are happening

#11471 · opened Jan 21, 2016 by Ben Gamari 8.0.1 5 Pnormal Tbug Ttask Trac import TypeInType typechecker
- CLOSED
- 24
updated Jul 07, 2019
incorrect redundant-constraints warning

#11474 · opened Jan 21, 2016 by Herbert Valerio Riedel 8.6.1 5 Pnormal Tbug Trac import error messages typechecker
- CLOSED
- 13
updated Jul 07, 2019
UndecidableSuperClasses causes the compiler to spin with UndecidableInstances

#11480 · opened Jan 22, 2016 by Edward Kmett 8.0.1 5 Pnormal PolyKinds Tbug Trac import UndecidableSuperClasses typechecker
- CLOSED
- 12
updated Jul 07, 2019
Very unhelpful message resulting from kind mismatch

#11485 · opened Jan 24, 2016 by Ryan Scott 8.0.1 5 Pnormal Tbug Trac import TypeInType typechecker
- CLOSED
- 2
updated Jul 07, 2019
Type family producing infinite type accepted as injective

#11511 · opened Jan 29, 2016 by Jan Stolarek 5 Pnormal Tbug Trac import TypeFamilies injective type families typechecker
- 7
updated Jul 07, 2019
Panic, "falls into a hole"

#11516 · opened Jan 30, 2016 by Icelandjack 8.0.2 7 Phigh Tbug Trac import compiler crash typechecker
- CLOSED
- 3
updated Jul 07, 2019
Test TcCoercibleFail hangs with substitution sanity checks enabled

#11518 · opened Jan 30, 2016 by niteria 5 Pnormal Tbug Trac import compiler perf typechecker
- CLOSED
- 21
updated Jul 18, 2019
GHC falls into a hole if given incorrect kind signature

#11520 · opened Jan 31, 2016 by Ben Gamari 8.0.1 10 Phighest Tbug Trac import TypeInType error messages typechecker
- CLOSED
- 9
updated Jul 07, 2019
Infinite Loop when mixing UndecidableSuperClasses and the class/instance constraint synonym trick.

#11523 · opened Feb 01, 2016 by Edward Kmett 8.4.1 7 Phigh Tbug Trac import UndecidableSuperClasses typechecker
- 30
updated Jul 07, 2019
Something is amiss with quantification in pattern synonym type signatures

#11524 · opened Feb 01, 2016 by Ben Gamari 8.0.1 7 Phigh Tbug Trac import typechecker
- CLOSED
- 9
updated Jul 07, 2019
Using a dummy typechecker plugin causes an ambiguity check error

#11525 · opened Feb 01, 2016 by jme 8.2.1 5 Pnormal Tbug Trac import plugins typechecker typechecker plugins
- CLOSED
- 14
updated Jul 07, 2019
Allow class associated types to reference functional dependencies

#11534 · opened Feb 03, 2016 by Edward Kmett 5 FunctionalDependencies Pnormal Tfeature request Trac import TypeFamilies typechecker
- 34
updated Jan 02, 2021
Type errors sometimes has a lot of irrelevant information

#11541 · opened Feb 05, 2016 by lennart@augustsson.net 8.0.1 5 Pnormal Tbug Trac import error messages typechecker
- CLOSED
- 8
updated Jul 07, 2019
Self quantification in GADT data declarations

#11554 · opened Feb 07, 2016 by Rafbill 7 Phigh Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 18
updated Sep 19, 2020
panic: isInjectiveTyCon sees a TcTyCon

#11560 · opened Feb 08, 2016 by rwbarton 5 Pnormal Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 8
updated Jul 07, 2019
Inferred CallStacks expose implicit parameter

#11573 · opened Feb 13, 2016 by Ben Gamari 8.0.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 8
updated Jul 07, 2019
TypeError requires UndecidableInstances unnecessarily

#11581 · opened Feb 15, 2016 by rwbarton 3 Plow Tfeature request Trac import typechecker
- 1
- 11
updated Jul 07, 2019
Redundant constraints warning complains that (a ~ b) is redundant

#11582 · opened Feb 16, 2016 by Ben Gamari 8.0.1 5 Pnormal Tbug Trac import error messages typechecker
- CLOSED
- 3
updated Jul 07, 2019
closed empty type families fully applied get reduced lazily when in a constraint tuple and fully applied

#11594 · opened Feb 17, 2016 by Carter Schonwald 5 Pnormal Tbug Trac import typechecker
- 12
updated Jan 23, 2020
Why is UndecidableInstances required for an obviously terminating type family?

#11599 · opened Feb 18, 2016 by Gabor Greif 5 Pnormal Tbug Trac import typechecker
- 1
updated Jul 07, 2019
GHC accepts overlapping instances without pragma

#11605 · opened Feb 18, 2016 by bennofs 5 Pnormal Tbug Trac import typechecker
- 0
updated Jul 07, 2019
ApplicativeDo easily foiled with `pure`

#11607 · opened Feb 18, 2016 by Ben Gamari 8.0.1 7 ApplicativeDo Phigh Tbug Trac import typechecker
- CLOSED
- 5
updated Jul 07, 2019
Possible type-checker regression in GHC 8.0 when compiling `microlens`

#11608 · opened Feb 19, 2016 by Herbert Valerio Riedel 8.0.1 10 Phighest Tbug Trac import typechecker
- CLOSED
- 18
updated Jul 07, 2019
ghc panics

#11611 · opened Feb 20, 2016 by Icelandjack 8.0.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 4
updated Jul 07, 2019
GHC doesn't see () as a Constraint in type family

#11621 · opened Feb 21, 2016 by Icelandjack 5 Pnormal Tbug Trac import typechecker
- 11
updated Jul 07, 2019
Wrong error message for type family definition that is wrong in multiple ways

#11623 · opened Feb 21, 2016 by rwbarton 8.0.1 3 Plow Tbug Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019
Cannot declare hs-boot declaration if there is already a value in scope

#11624 · opened Feb 22, 2016 by Edward Z. Yang 8.0.1 10 Phighest Tbug Trac import typechecker
- CLOSED
- 7
updated Jul 07, 2019
More precise LANGUAGE pragma when forall is used

#11630 · opened Feb 23, 2016 by Edward Z. Yang 3 Plow Tbug Trac import typechecker
- 0
updated Jul 07, 2019
Record field order in a bidirectional pattern synonym match is order dependent

#11633 · opened Feb 24, 2016 by Ben Gamari 8.0.1 7 Phigh PatternSynonyms Tbug Trac import typechecker
- CLOSED
- 4
updated Jul 07, 2019
referring to the existential type from a GADT pattern match with a type application

#11638 · opened Feb 24, 2016 by rwbarton 5 Pnormal Tfeature request Trac import TypeApplications typechecker
- CLOSED
- 2
updated Jul 07, 2019
Allow wildcards for parameters functionally determined (also type synonyms)

#11641 · opened Feb 25, 2016 by Icelandjack 0 FunctionalDependencies Plow Tfeature request Trac import partial type sigs typechecker
- 2
updated Jul 07, 2019
Heterogeneous type equality evidence ignored

#11642 · opened Feb 25, 2016 by Ben Gamari 8.0.1 10 Phighest Tbug Trac import TypeInType typechecker
- CLOSED
- 9
updated Jul 07, 2019
Make pattern synonym export type mismatch a warning

#11646 · opened Feb 25, 2016 by David Feuer 5 Pnormal Tfeature request Trac import typechecker
- 6
updated Jul 07, 2019
Ambiguous types in pattern synonym not determined by functional dependencies

#11655 · opened Feb 27, 2016 by Icelandjack 5 GADTs Pnormal Tbug Trac import typechecker
- 1
updated Jul 07, 2019
Poor error message

#11672 · opened Mar 04, 2016 by Adam Gundry 5 Pnormal Tbug Trac import TypeInType error messages typechecker
- CLOSED
- 2
updated Jul 07, 2019
Monomoprhic code makes ImpredicativeTypes infer an existential type

#11675 · opened Mar 04, 2016 by Serge Kosyrev 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 1
updated Jul 07, 2019
ghc panic with TypeError

#11681 · opened Mar 05, 2016 by inaki 8.0.1 5 Pnormal Tbug Trac import compiler crash typechecker
- CLOSED
- 8
updated Jul 07, 2019
Typechecker hangs when checking type families with -ddump-tc-trace turned on

#11708 · opened Mar 15, 2016 by Csongor Kiss 8.0.1 5 Pnormal Tbug Trac import TypeFamilies typechecker
- CLOSED
- 4
updated Jul 07, 2019
Typechecker assertion failure

#11711 · opened Mar 15, 2016 by Ben Gamari 8.0.1 7 Phigh Tbug Trac import compiler crash typechecker
- CLOSED
- 8
updated Jul 07, 2019
Very confusing error message with -fprint-explicit-kinds

#11712 · opened Mar 16, 2016 by Ben Gamari 8.0.1 5 Pnormal Tbug Trac import error messages typechecker
- CLOSED
- 4
updated Jul 07, 2019
Constraint vs *

#11715 · opened Mar 16, 2016 by Ben Gamari 8.6.1 7 Phigh Tbug Trac import roles typechecker
- 80
updated Oct 26, 2020