Issues · Glasgow Haskell Compiler / GHC · GitLab

Constraint synonym with Implicit Parameter

#11466 · opened Jan 20, 2016 by Joachim Breitner 8.0.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 8
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 Trac import TypeApplications bug 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 Trac import TypeInType bug typechecker
- CLOSED
- 5
updated Jul 07, 2019
TypeError is fragile

#11391 · opened Jan 09, 2016 by Ben Gamari 8.0.1 7 Phigh Trac import bug custom type errors error messages 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 Trac import TypeApplications TypeInType bug typechecker
- CLOSED
- 33
updated Jul 07, 2019
Test tc253 doesn't pass with reversed uniques

#11361 · opened Jan 06, 2016 by niteria 8.0.1 7 Phigh Trac import bug typechecker
- CLOSED
- 8
updated Jul 07, 2019
GHC panic

#11356 · opened Jan 05, 2016 by Icelandjack 8.0.1 5 Pnormal Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019
Scoped type variables in pattern synonyms

#11351 · opened Jan 04, 2016 by Icelandjack 8.0.1 5 Pnormal Trac import bug feature request typechecker
- CLOSED
- 5
updated Jul 07, 2019
Awkward error message "Expecting one fewer argument to ‘*’"

#11313 · opened Dec 29, 2015 by rwbarton 8.0.1 3 Plow Trac import bug 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 Trac import bug typechecker
- CLOSED
- 1
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 Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
Kind-level PartialTypeSignatures causes internal error

#11241 · opened Dec 17, 2015 by Adam Gundry 8.0.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 4
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 Trac import bug typechecker
- CLOSED
- 4
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 Trac import bug compiler crash typechecker
- CLOSED
- 9
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 Trac import bug compiler crash numerics typechecker
- CLOSED
- 2
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 Trac import bug 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 Trac import bug compiler crash typechecker
- CLOSED
- 2
updated Jul 07, 2019
Ambiguous inferred type causes a panic

#11122 · opened Nov 22, 2015 by tuplanolla 8.0.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 7
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 Trac import bug typechecker
- CLOSED
- 16
updated Jul 07, 2019
Panic with incorrect pattern synonym signature

#11039 · opened Oct 30, 2015 by Matthew Pickering 8.0.1 7 Phigh Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019

Prev
1
2
3
4
5
6
7
8
9
…
63
Next