Issues · Glasgow Haskell Compiler / GHC · GitLab

Different saturations of the same polymorphic-kinded type constructor aren't seen as apart types

#15704 · created Oct 04, 2018 by mniip 8.6.1 5 Pnormal Tbug Trac import TypeFamilies typechecker
- CLOSED
- 8
updated Jul 07, 2019
GHC HEAD-only panic (zonkTcTyVarToTyVar)

#15778 · created Oct 18, 2018 by Ryan Scott 8.8.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 7
updated Jul 07, 2019
Core Lint error with invalid newtype declaration

#15796 · created Oct 24, 2018 by Icelandjack 8.6.2 5 Pnormal Tbug Trac import compiler crash typechecker
- CLOSED
- 1
- 8
updated Jul 07, 2019
Add a test case for tricky type synonyms involving visible dependent kinds

#15829 · created Oct 29, 2018 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 1
updated Jul 07, 2019
Discrepancy between seemingly equivalent type synonym and type family

#15869 · created Nov 07, 2018 by Ryan Scott 5 Pnormal Tbug Trac import TypeFamilies typechecker visible dependent quantification
- CLOSED
- 14
updated Jul 07, 2019
No skolem info panic

#15870 · created Nov 07, 2018 by sheaf 8.6.3 10 Phighest Tbug Trac import compiler crash typechecker
- CLOSED
- 4
updated Jul 07, 2019
LiberalTypeSynonyms unsaturation check doesn't kick in

#15954 · created Nov 26, 2018 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 10
updated Jul 07, 2019
Type family & typeclass interaction suppresses errors

#15962 · created Nov 28, 2018 by madgen 8.8.1 5 Pnormal Tbug Trac import TypeFamilies error messages newcomer typechecker
- CLOSED
- 2
updated Jul 07, 2019
GHC HEAD type family regression involving invisible arguments

#16008 · created Dec 07, 2018 by Ryan Scott 8.8.1 10 Phighest Tbug Trac import TypeFamilies TypeInType typechecker
- CLOSED
- 6
updated Jul 07, 2019
Rank-n typechecking regression between GHC 8.4 and 8.6

#16033 · created Dec 11, 2018 by Ryan Scott 8.8.1 5 Pnormal RankNTypes Tbug Trac import typechecker
- CLOSED
- 4
updated Jul 07, 2019
T14740 fails in debugged compiler

#16113 · created Dec 30, 2018 by Ben Gamari 8.8.1 7 Phigh Tbug Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019
GHC said to report a bug

#16184 · created Jan 15, 2019 by TheKing01 5 Pnormal Tbug Trac import compiler crash typechecker
- CLOSED
- 1
updated Jul 07, 2019
GHC HEAD-only panic (buildKindCoercion)

#16188 · created Jan 16, 2019 by Ryan Scott 8.8.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 3
- 8
updated Jul 07, 2019
GHC HEAD-only Core Lint error (Argument value doesn't match argument type)

#16204 · created Jan 19, 2019 by Ryan Scott 8.8.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 3
- 5
updated Jul 07, 2019
Core Lint error with a data type

#16221 · created Jan 23, 2019 by Krzysztof Gogolewski 8.10.1 5 Pnormal Tbug Trac import compiler crash typechecker
- CLOSED
- 6
updated Jul 07, 2019
GHC HEAD-only Core Lint error (Trans coercion mis-match)

#16225 · created Jan 23, 2019 by Ryan Scott 8.8.1 10 Phighest Tbug Trac import TypeInType typechecker
- CLOSED
- 3
- 2
updated Jul 07, 2019
GHC 8.6 Core Lint regression (Kind application error)

#16247 · created Jan 27, 2019 by Ryan Scott 8.10.1 5 Pnormal Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 8
updated Jul 07, 2019
Visible kind application defeats type family with higher-rank result kind

#16255 · created Jan 29, 2019 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import TypeApplications TypeFamilies typechecker
- CLOSED
- 7
updated Jul 07, 2019
GHC HEAD regression: piResultTys1

#16347 · created Feb 20, 2019 by Ryan Scott 8.10.1 10 Phighest Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 3
- 6
updated Jul 07, 2019
Regression: Implicitly kind variables not in scope

#16381 · created Mar 03, 2019 by Ben Gamari 8.10.1 10 Phighest Tbug Trac import typechecker
- CLOSED
- 2
updated Jul 07, 2019

Prev
1
…
46
47
48
49
50
51
Next