Issues · Glasgow Haskell Compiler / GHC · GitLab

TypeFamilies painfully slow

#8095 · opened Jul 27, 2013 by MikeIzbicki 9.4.1 7 Phigh Trac import bug compiler perf typechecker
- 1
- 3
- 94
updated Mar 02, 2021
Please consider adding support for local type synonyms

#4020 · opened Apr 27, 2010 by nr@eecs.harvard.edu 8.0.1 3 Plow Trac import feature request typechecker
- 2
- 17
updated Jul 07, 2019
Remove NoGhcTc, allow HsType GhcTc, HsDecl GhcTc

#18758 · opened Sep 28, 2020 by Vladislav Zavialov 9.2.1 task typechecker
- 1
- 13
updated Sep 30, 2020
GHC could not deduce constraint from itself

#18704 · opened Sep 17, 2020 by rybochodonezzar Pnormal bug typechecker
- 1
- 3
updated Sep 30, 2020
Refactor solver to leave breadcrumbs

#17718 · opened Jan 20, 2020 by Richard Eisenberg task typechecker
- 1
- 0
updated Jan 20, 2020
Coercion variables appearing where they shouldn't 0 of 3 tasks completed

#17545 · opened Dec 05, 2019 by Krzysztof Gogolewski task typechecker
- 1
- 2
updated Jan 20, 2020
Quantified constraints which specify associated type instances

#17226 · opened Sep 21, 2019 by sheaf QuantifiedConstraints feature request typechecker
- 1
- 14
updated Jan 23, 2020
Slow Typechecking (Followup of #14987)

#17223 · opened Sep 20, 2019 by Victor Cacciari Miraldo bug compiler perf typechecker
- 1
- 24
updated Sep 23, 2020
Dependent quantification prevents unification

#17072 · opened Aug 17, 2019 by Vladislav Zavialov feature request typechecker visible dependent quantification
- 1
- 17
updated Jan 23, 2020
Prevent `rewriteEvidence` from converting a W into a WD

#16735 · opened Jun 02, 2019 by nfrisby bug typechecker
- 1
- 2
updated Jan 23, 2020
QuantifiedConstraints: Can't be RHS of type family instances

#14968 · opened Mar 24, 2018 by josef 5 Pnormal Trac import bug typechecker
- 1
- 11
updated Jul 07, 2019
GHC incorrectly warns that a scoped type variable used in a term's body is unused

#13512 · opened Apr 02, 2017 by Ryan Scott 5 Pnormal Trac import TypeApplications bug error messages typechecker
- 1
- 11
updated Dec 29, 2020
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
($) can have a more general type

#12989 · opened Dec 16, 2016 by David Feuer 5 Pnormal Trac import bug typechecker
- 1
- 4
updated Jul 07, 2019
TypeError requires UndecidableInstances unnecessarily

#11581 · opened Feb 15, 2016 by rwbarton 3 Plow Trac import feature request typechecker
- 1
- 11
updated Jul 07, 2019
Remove the word "skolem" from user error messages

#11169 · opened Dec 06, 2015 by David Feuer 5 Pnormal Trac import feature request typechecker
- 1
- 2
updated Jul 07, 2019
DataKinds promotion of String -> Symbol and Natural -> Nat

#10776 · opened Aug 16, 2015 by htebalaka 5 DataKinds Pnormal Trac import feature request typechecker
- 1
- 6
updated Oct 28, 2020
Allow defining kinds alone, without a datatype

#6024 · opened Apr 19, 2012 by dreixel 8.0.1 5 Pnormal Trac import feature request typechecker
- 1
- 11
updated Jul 07, 2019
functions without implementations

#393 · opened May 26, 2005 by c_maeder 5 Pnormal Trac import feature request newcomer typechecker
- 1
- 39
updated Jul 07, 2019
Dead suggestion for -XUnliftedNewtypes in checkNewDataCon

#19503 · opened Mar 08, 2021 by Sebastian Graf needs triage typechecker
- 1
updated Mar 08, 2021

Prev
1
2
3
4
5
…
14
Next