Issues · Glasgow Haskell Compiler / GHC · GitLab

(~) and (!) are parsed inconsistently in types (plus documentation warts)

#15457 · opened Jul 30, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import bug parser
- CLOSED
- 4
updated Jul 07, 2019
Literals overflow

#15460 · opened Jul 31, 2018 by Sylvain Henry 8.8.1 5 Pnormal Trac import bug incorrect runtime result
- CLOSED
- 6
updated Jul 07, 2019
Polymorphism, typed splices and type inference don't mix

#15471 · opened Aug 03, 2018 by Matthew Pickering 8.8.1 5 Pnormal TemplateHaskell Trac import bug typed TemplateHaskell
- CLOSED
- 18
updated Jul 07, 2019
GHC HEAD type inference regression post-"Remove decideKindGeneralisationPlan"

#15472 · opened Aug 03, 2018 by Ryan Scott 8.8.1 10 Phighest Trac import TypeInType bug typechecker
- CLOSED
- 11
updated Jul 07, 2019
Add -fwarn-star-is-type to -Wcompat

#15476 · opened Aug 04, 2018 by Vladislav Zavialov 8.8.1 5 Pnormal Trac import bug
- CLOSED
- 2
updated Jul 07, 2019
ghc-pkg package config validation too strict

#15478 · opened Aug 05, 2018 by Mathieu Boespflug 8.8.1 5 Pnormal Trac import bug
- CLOSED
- 3
updated Jul 07, 2019
Bogus "No instance" error when type families appear in kinds

#15515 · opened Aug 13, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeFamilies TypeInType bug error messages typechecker
- CLOSED
- 7
updated Jul 07, 2019
-O0 and pattern synonyms triggers panic in trimJoinCont

#15517 · opened Aug 14, 2018 by Simon Jakobi 8.8.1 5 Pnormal Trac import bug compiler crash
- CLOSED
- 8
updated Jul 07, 2019
Core Lint error with EmptyCase

#15549 · opened Aug 21, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeFamilies TypeInType bug compiler crash typechecker
- CLOSED
- 3
- 9
updated Jul 07, 2019
TH-reified type classes have redundant tyvars/class constraints on each method

#15551 · opened Aug 21, 2018 by Ryan Scott 8.8.1 5 Pnormal TemplateHaskell Trac import bug
- CLOSED
- 4
updated Jul 07, 2019
Infinite loop/panic with an existential type.

#15552 · opened Aug 21, 2018 by howtonotwin 8.8.1 5 Pnormal Trac import bug compiler crash
- CLOSED
- 17
updated Jul 07, 2019
Kind variables in type family aren't quantified in toposorted order

#15568 · opened Aug 26, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeApplications TypeFamilies bug
- CLOSED
- 3
updated Jul 07, 2019
nonVoid is too conservative w.r.t. strict argument types

#15584 · opened Aug 30, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import bug error messages pattern match warnings
- CLOSED
- 4
updated Jul 07, 2019
Inconsistent kind variable binder visibility between associated and non-associated type families

#15591 · opened Sep 01, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeApplications TypeFamilies bug
- CLOSED
- 12
updated Jul 07, 2019
Type families without CUSKs cannot be given visible kind variable binders

#15592 · opened Sep 01, 2018 by Ryan Scott 8.8.1 5 CUSKs Pnormal Trac import TypeApplications TypeFamilies bug
- CLOSED
- 21
updated Jul 07, 2019
scope errors lie about what modules are imported

#15611 · opened Sep 06, 2018 by dmwit 8.8.1 5 Pnormal Trac import bug
- CLOSED
- 7
updated Feb 09, 2021
defer-type-errors and equality constraints

#15624 · opened Sep 10, 2018 by Krzysztof Gogolewski 8.8.1 3 Plow Trac import bug typechecker
- CLOSED
- 1
updated Jul 07, 2019
"No skolem info" panic (GHC 8.6 only)

#15629 · opened Sep 11, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 9
updated Jul 07, 2019
Ambiguous type variables in GeneralisedNewtypeDeriving

#15637 · opened Sep 13, 2018 by i-am-tom 8.8.1 5 Pnormal Trac import bug deriving
- CLOSED
- 4
updated Jul 07, 2019
TypeChecking of Monad patterns incorrect with RebindableSyntax and OverloadedStrings

#15645 · opened Sep 14, 2018 by Neil Mitchell 8.8.1 5 Pnormal Trac import bug ghc proposal
- CLOSED
- 11
updated Jul 07, 2019

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