Issues · Glasgow Haskell Compiler / GHC · GitLab

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
Derive Generic1 instances for types of kind (k -> *) -> * that include applications of the parameter

#15310 · opened Jun 25, 2018 by cedricshock 3 Plow Trac import feature request generics typechecker
- 3
updated Jul 07, 2019
isUnliftedType GHC panic on pattern with True :: Maybe

#15289 · opened Jun 18, 2018 by Remi 8.6.1 3 Plow Trac import bug compiler crash typechecker
- CLOSED
- 7
updated Jul 07, 2019
Empty case does not detect kinds

#14086 · opened Aug 03, 2017 by David Feuer 8.4.1 3 Plow Trac import TypeInType bug error messages typechecker
- CLOSED
- 3
updated Jul 07, 2019
Unhelpful error messages about lifted and unlifted types

#13610 · opened Apr 24, 2017 by Joachim Breitner 8.4.1 3 Plow Trac import bug typechecker
- CLOSED
- 6
updated Jul 07, 2019
Better type synonym merging/subtyping for Backpack

#13361 · opened Mar 02, 2017 by Edward Z. Yang 3 Plow Trac import backpack bug typechecker
- 1
updated Jan 07, 2021
Role ranges (allow decomposition on newtypes)

#13358 · opened Mar 01, 2017 by Edward Z. Yang 3 Plow Trac import backpack feature request roles typechecker
- 3
updated Jul 07, 2019
Abstract classes in hs-boot should not be treated as injective

#13347 · opened Feb 27, 2017 by Edward Z. Yang 3 Plow Trac import bug hs-boot typechecker
- 1
updated Jul 07, 2019
Pattern synonyms in hs-boot files

#13322 · opened Feb 23, 2017 by Edward Z. Yang 3 Plow Trac import backpack feature request hs-boot typechecker
- 1
- 1
updated Jul 07, 2019
Importing a bundled pattern "infects" all other imports of that pattern

#13321 · opened Feb 23, 2017 by Edward Z. Yang 3 Plow Trac import bug typechecker
- 4
updated Jul 07, 2019
Unfortunate compiler loop when creating type loop (with UndecidableInstances)

#13320 · opened Feb 22, 2017 by Ptival 8.2.1 3 Plow Trac import UndecideableInstances bug compiler crash typechecker
- CLOSED
- 7
updated Jul 07, 2019
Allow type synonym family application in instance head if it has no free variables

#13262 · opened Feb 10, 2017 by Edward Z. Yang 3 Plow Trac import TypeFamilies backpack feature request typechecker
- 12
updated Jul 22, 2019
Confusing error when hs-boot abstract data implemented using synonym

#13180 · opened Jan 24, 2017 by Edward Z. Yang 3 Plow Trac import bug hs-boot typechecker
- 0
updated Jul 07, 2019
Giving Backpack a Promotion

#13149 · opened Jan 18, 2017 by Edward Z. Yang Research needed 3 Plow Trac import backpack broken test task typechecker
- 4
updated Nov 27, 2019
GHC should not allow modules to define instances of abstract type classes

#13068 · opened Jan 05, 2017 by Edward Z. Yang 8.2.1 3 Plow Trac import backpack broken test bug typechecker
- CLOSED
- 2
updated Jul 07, 2019
Renamer should reject signatures that reexport only part of a declaration

#12705 · opened Oct 14, 2016 by Edward Z. Yang 3 Plow Trac import bug typechecker
- 0
updated Jul 07, 2019
Check if constraint synonym satisfies functional dependencies

#12704 · opened Oct 14, 2016 by Edward Z. Yang 3 FunctionalDependencies Plow Trac import bug typechecker
- 1
updated Jul 07, 2019
Permit type equality instances in signatures

#12680 · opened Oct 10, 2016 by Edward Z. Yang 3 Plow Trac import backpack feature request typechecker
- 22
updated Nov 26, 2019
Permit abstract data types in signatures that don't have kind *

#12679 · opened Oct 10, 2016 by Edward Z. Yang 3 Plow Trac import backpack feature request typechecker
- CLOSED
- 7
updated Jul 07, 2019
Regression in type inference with RankNTypes

#12557 · opened Aug 31, 2016 by slindley 3 ImpredicativeTypes Plow Trac import bug typechecker
- CLOSED
- 5
updated Jul 07, 2019

Prev
1
2
3
4
5
6
…
63
Next