Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC panic using kind application

#15787 · created Oct 20, 2018 by Icelandjack 8.6.2 5 Pnormal Tbug Trac import TypeApplications TypeInType
- CLOSED
- 1
- 5
updated Jul 07, 2019
Kind inference of class variables does not examine associated types

#15711 · created Oct 05, 2018 by Richard Eisenberg 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 2
updated Jul 07, 2019
Should GHC accept a type signature that needs coercion quantification?

#15710 · created Oct 05, 2018 by Simon Peyton Jones 5 Pnormal Tbug Trac import TypeInType
- 10
updated Dec 08, 2021
GHC panic using TypeInType with minimal source code

#15709 · created Oct 05, 2018 by jnape 5 Pnormal Tbug Trac import TypeInType compiler crash
- CLOSED
- 2
updated Jul 07, 2019
GHC panic from pattern synonyms + deferred type errors

#15692 · created Sep 30, 2018 by Icelandjack 8.6.2 5 Pnormal PatternSynonyms Tbug Trac import TypeInType compiler crash
- CLOSED
- 6
updated Jul 07, 2019
Core Lint error

#15664 · created Sep 21, 2018 by Icelandjack 8.6.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 6
updated Jul 07, 2019
"No skolem info" panic (GHC 8.6 only)

#15629 · created Sep 11, 2018 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 9
updated Jul 07, 2019
GHC shouting: panic!

#15597 · created Sep 03, 2018 by tstr 5 Pnormal Tbug Trac import TypeInType compiler crash
- CLOSED
- 1
updated Jul 07, 2019
Always promoting metavariables during type inference may be wrong

#15589 · created Aug 31, 2018 by Richard Eisenberg 8.6.1 5 Pnormal Tbug Trac import TypeInType
- 12
updated Jul 07, 2019
Panic when abusing kind inference

#15588 · created Aug 31, 2018 by Richard Eisenberg 8.6.1 5 Pnormal Tbug Trac import TypeInType
- 0
updated Jul 07, 2019
Treating Constraint as Type when using (type C = Constraint)

#15583 · created Aug 30, 2018 by Icelandjack 8.6.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 2
updated Jul 07, 2019
TypeInType: Type error conditioned on ordering of GADT and type family definitions

#15561 · created Aug 23, 2018 by Bj0rn 8.6.1 5 GADTs Pnormal Tbug Trac import TypeFamilies TypeInType
- 3
updated Mar 28, 2021
Core Lint error with EmptyCase

#15549 · created Aug 21, 2018 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import TypeFamilies TypeInType compiler crash typechecker
- CLOSED
- 3
- 9
updated Jul 07, 2019
Forced to enable TypeInType because of (i ~ i)

#15545 · created Aug 20, 2018 by Icelandjack 8.6.1 5 Pnormal Tbug Trac import TypeInType
- CLOSED
- 2
updated Jul 07, 2019
Bogus "No instance" error when type families appear in kinds

#15515 · created Aug 13, 2018 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import TypeFamilies TypeInType error messages typechecker
- CLOSED
- 7
updated Jul 07, 2019
Coercion Quantification

#15497 · created Aug 09, 2018 by Ningning Xie 5 Pnormal Ttask Trac import TypeInType
- CLOSED
- 8
updated Jul 07, 2019
Error message mentions Any

#15474 · created Aug 03, 2018 by Krzysztof Gogolewski 9.0.1 5 Pnormal Tbug Trac import TypeInType error messages
- CLOSED
- 2
- 8
updated Jan 11, 2021
Error message displays redundant equality constraint

#15361 · created Jul 11, 2018 by Ryan Scott 8.6.1 5 Pnormal Tbug Trac import TypeInType error messages typechecker
- CLOSED
- 11
updated Jul 07, 2019
Core Lint error in GHC 8.6.1: From-type of Cast differs from type of enclosed expression

#15346 · created Jul 05, 2018 by Ryan Scott 8.6.1 5 Pnormal Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 1
- 12
updated Jul 07, 2019
Error message prints invisible kind arguments in a visible matter

#15330 · created Jul 02, 2018 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import TypeInType error messages typechecker
- CLOSED
- 7
updated Jul 07, 2019

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