Issues · Glasgow Haskell Compiler / GHC · GitLab

Inconsistent results with inaccessible code due to (~) vs. (~~)

#16422 · opened Mar 11, 2019 by Ryan Scott 5 Pnormal typechecker
- 4
updated Sep 02, 2019
GHC internal error with strange scoping (GHC HEAD regression)

#16418 · opened Mar 11, 2019 by Ryan Scott 8.10.1 10 Phighest typechecker
- CLOSED
- 3
updated Nov 08, 2019
GHC internal error while typechecking of instance definition

#16394 · opened Mar 05, 2019 by Day1721 8.8.1 3 Plow Trac import bug error messages typechecker
- CLOSED
- 3
updated Jul 07, 2019
"Quantified type's kind mentions quantified type variable" error with fancy-kinded GADT

#16391 · opened Mar 05, 2019 by Ryan Scott 8.10.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 4
updated Jul 27, 2020
Regression: Implicitly kind variables not in scope

#16381 · opened Mar 03, 2019 by Ben Gamari 8.10.1 10 Phighest Trac import bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
`TypeError` in a pattern should flag inaccessible code

#16377 · opened Mar 01, 2019 by Iavor S. Diatchki 5 Pnormal Trac import bug 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 Trac import bug 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 Trac import bug 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 Trac import bug 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 Trac import TypeInType bug 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 Trac import bug 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 Trac import TypeApplications TypeFamilies bug 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 Trac import TypeInType bug 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 Trac import TypeInType bug 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 Trac import TypeInType bug 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 Trac import feature request 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 Trac import TypeInType bug 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 Trac import bug 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 Trac import TypeInType bug 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 Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 3
- 8
updated Jul 07, 2019

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