Issues · Glasgow Haskell Compiler / GHC · GitLab

`TypeError` in a pattern should flag inaccessible code

#16377 · opened Mar 01, 2019 by Iavor S. Diatchki 5 Pnormal Tbug Trac import custom type errors typechecker
- CLOSED
- 2
updated Jul 07, 2019
Cannot deduce constraint from itself with poly-kinded type family

#16374 · opened Mar 01, 2019 by roland 5 Pnormal Tbug Trac import error messages typechecker
- 2
updated Jul 07, 2019
GHC should be more forgiving with visible dependent quantification in visible type applications

#16371 · opened Feb 27, 2019 by Ryan Scott 5 Pnormal Tbug Trac import typechecker visible dependent quantification
- 4
updated Nov 09, 2020
Unexpected type application in default declaration

#16356 · opened Feb 22, 2019 by Vladislav Zavialov 5 Pnormal Tbug Trac import typechecker
- CLOSED
- 4
- 3
updated May 05, 2020
GHC HEAD regression: piResultTys1

#16347 · opened 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
Named wildcards in kinds

#16334 · opened Feb 17, 2019 by Vladislav Zavialov 8.10.1 5 Pnormal Tbug Trac import partial type sigs typechecker
- CLOSED
- 2
updated Mar 26, 2020
Visible kind application defeats type family with higher-rank result kind

#16255 · opened Jan 29, 2019 by Ryan Scott 8.8.1 5 Pnormal Tbug Trac import TypeApplications TypeFamilies typechecker
- CLOSED
- 7
updated Jul 07, 2019
GHC 8.6 Core Lint regression (Kind application error)

#16247 · opened Jan 27, 2019 by Ryan Scott 8.10.1 5 Pnormal Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 8
updated Jul 07, 2019
GHC panic (No skolem info) with RankNTypes and strange scoping

#16245 · opened Jan 27, 2019 by Ryan Scott 5 Pnormal QuantifiedConstraints RankNTypes Tbug Trac import TypeInType compiler crash typechecker
- CLOSED
- 4
- 9
updated Dec 31, 2020
Couldn't match kind ‘k1’ with ‘k1’

#16244 · opened Jan 27, 2019 by Ryan Scott 5 Pnormal Tbug Trac import TypeInType error messages typechecker
- CLOSED
- 2
- 2
updated May 05, 2020
Add setField to HasField

#16232 · opened Jan 24, 2019 by Adam Gundry 5 OverloadedRecordFields Pnormal Tfeature request Trac import ghc proposal records typechecker
- 5
updated Feb 28, 2021
GHC HEAD-only Core Lint error (Trans coercion mis-match)

#16225 · opened Jan 23, 2019 by Ryan Scott 8.8.1 10 Phighest Tbug Trac import TypeInType typechecker
- CLOSED
- 3
- 2
updated Jul 07, 2019
Core Lint error with a data type

#16221 · opened 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 (Argument value doesn't match argument type)

#16204 · opened 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
GHC HEAD-only panic (buildKindCoercion)

#16188 · opened 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 said to report a bug

#16184 · opened Jan 15, 2019 by TheKing01 5 Pnormal Tbug Trac import compiler crash typechecker
- CLOSED
- 1
updated Jul 07, 2019
-Wredundant-constraints: False positive

#16154 · opened Jan 09, 2019 by Fumiaki Kinoshita 5 Pnormal Tbug Trac import error messages typechecker
- 7
updated Jul 07, 2019
StrictData and TypeFamilies regression

#16141 · opened Jan 07, 2019 by Ryan Scott 8.8.1 10 Phighest Tbug Trac import 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 Tbug Trac import 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 Tbug Trac import error messages typechecker
- 2
updated Jan 23, 2020

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