Issues · Glasgow Haskell Compiler / GHC · GitLab

TypeFamilies painfully slow

#8095 · opened Jul 27, 2013 by MikeIzbicki 9.2.1 7 Phigh Trac import bug compiler perf typechecker
- 1
- 3
- 77
updated Jan 23, 2021
Closed type family declaration accepts any name in LHS

#17633 · opened Jan 03, 2020 by Maxim Koltsov 8.8.1 Pnormal TypeFamilies bug program incorrectly accepted typechecker
- CLOSED
- 1
- 2
- 2
updated Jan 03, 2020
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
Never `Any`-ify during kind inference

#17567 · opened Dec 11, 2019 by Richard Eisenberg TypeInType task typechecker
- CLOSED
- 2
- 1
- 11
updated Jan 11, 2021
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
Compiler ignores Typeable constraint

#17060 · opened Aug 14, 2019 by Robert Peszek 8.10.1 Pnormal Typeable documentation typechecker
- CLOSED
- 2
- 1
- 7
updated Oct 08, 2019
Prevent `rewriteEvidence` from converting a W into a WD

#16735 · opened Jun 02, 2019 by nfrisby bug typechecker
- 1
- 2
updated Jan 23, 2020
Move field name resolution to the type-checker

#15277 · opened Jun 15, 2018 by Adam Gundry 5 OverloadedRecordFields Pnormal Trac import records task typechecker
- CLOSED
- 1
- 2
updated Dec 03, 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
Lift the "Illegal polymorphic type" restriction on type families

#13901 · opened Jun 30, 2017 by Ryan Scott 5 Pnormal Trac import TypeFamilies feature request typechecker
- CLOSED
- 1
- 6
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

Prev
1
2
3
4
5
…
62
Next