Issues · Glasgow Haskell Compiler / GHC · GitLab

StrictData and TypeFamilies regression

#16141 · opened Jan 07, 2019 by Ryan Scott 8.8.1 10 Phighest Trac import bug typechecker
- CLOSED
- 12
updated Jul 14, 2019
Panic: piResultTys1 in compiler/types/Type.hs:1022:5

#16127 · opened Jan 04, 2019 by Serge Kosyrev 5 Pnormal Trac import bug compiler crash hs-boot typechecker
- 16
updated May 27, 2020
Missing associated type instance not reported with error

#16115 · opened Dec 31, 2018 by David Feuer 5 Pnormal Trac import bug error messages typechecker
- 2
updated Jan 23, 2020
T14740 fails in debugged compiler

#16113 · opened Dec 30, 2018 by Ben Gamari 8.8.1 7 Phigh Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
checkValidType is defeated by a type synonym

#16059 · opened Dec 17, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 17
updated Jul 14, 2020
Rank-n typechecking regression between GHC 8.4 and 8.6

#16033 · opened Dec 11, 2018 by Ryan Scott 8.8.1 5 Pnormal RankNTypes Trac import bug typechecker
- CLOSED
- 4
updated Jul 07, 2019
GHC HEAD type family regression involving invisible arguments

#16008 · opened Dec 07, 2018 by Ryan Scott 8.8.1 10 Phighest Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
Adding extra quantified constraints leads to resolution failure

#15989 · opened Dec 02, 2018 by eror 8.6.3 5 Pnormal Trac import bug typechecker
- 7
updated Jul 07, 2019
Type family & typeclass interaction suppresses errors

#15962 · opened Nov 28, 2018 by madgen 8.8.1 5 Pnormal Trac import TypeFamilies bug error messages newcomer typechecker
- CLOSED
- 2
updated Jul 07, 2019
LiberalTypeSynonyms unsaturation check doesn't kick in

#15954 · opened Nov 26, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 10
updated Jul 07, 2019
GHC panic: newtype F rep = F (forall (a :: TYPE rep). a)

#15883 · opened Nov 09, 2018 by Icelandjack 8.10.1 5 Pnormal Trac import TypeInType UnliftedNewtypes bug compiler crash typechecker
- CLOSED
- 6
updated Jan 17, 2020
No skolem info panic

#15870 · opened Nov 07, 2018 by sheaf 8.6.3 10 Phighest Trac import bug compiler crash typechecker
- CLOSED
- 4
updated Jul 07, 2019
Discrepancy between seemingly equivalent type synonym and type family

#15869 · opened Nov 07, 2018 by Ryan Scott 5 Pnormal Trac import TypeFamilies bug typechecker visible dependent quantification
- CLOSED
- 14
updated Jul 07, 2019
Add a test case for tricky type synonyms involving visible dependent kinds

#15829 · opened Oct 29, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
Core Lint error with invalid newtype declaration

#15796 · opened Oct 24, 2018 by Icelandjack 8.6.2 5 Pnormal Trac import bug compiler crash typechecker
- CLOSED
- 1
- 8
updated Jul 07, 2019
GHC HEAD-only panic (zonkTcTyVarToTyVar)

#15778 · opened Oct 18, 2018 by Ryan Scott 8.8.1 10 Phighest Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 7
updated Jul 07, 2019
Strange constraint error that disappears when adding another top-level declaration

#15772 · opened Oct 18, 2018 by Andres Löh 5 Pnormal Trac import bug typechecker
- CLOSED
- 14
updated Dec 26, 2020
Cross-module SPECIALZE pragmas aren't typechecked in -O0

#15708 · opened Oct 05, 2018 by regnat 5 Pnormal Trac import bug typechecker
- 2
updated Jul 07, 2019
More liberally kinded coercions for newtypes

#15707 · opened Oct 05, 2018 by mniip 8.6.1 5 Pnormal Trac import feature request roles typechecker
- 5
updated Jul 07, 2019
Different saturations of the same polymorphic-kinded type constructor aren't seen as apart types

#15704 · opened Oct 04, 2018 by mniip 8.6.1 5 Pnormal Trac import TypeFamilies bug typechecker
- CLOSED
- 8
updated Jul 07, 2019

Prev
1
…
5
6
7
8
9
10
11
12
13
…
63
Next