Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Merge requests
Open
2
Merged
2
Closed
21
All
25
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Draft: Type/data instances: require that the instantiation is determined by the LHS alone (#23515)
!10672
· created
Jun 15, 2023
by
Andrei Borzenkov
TypeFamilies
typechecker
user-facing
Closed
20
updated
Jun 01, 2024
Look through TH splices in splitHsApps
!10911
· created
Jul 19, 2023
by
Ryan Scott
TemplateHaskell
typechecker
Closed
Approved
37
updated
Aug 08, 2023
tcExpr: Push expected types for untyped TH splices inwards
!11057
· created
Aug 07, 2023
by
Ryan Scott
RankNTypes
TemplateHaskell
typechecker
Closed
Approved
7
updated
Aug 08, 2023
Draft: Use HsExpanded for untyped TH expression splices
!7574
· created
Feb 14, 2022
by
Ryan Scott
RankNTypes
TemplateHaskell
typechecker
Closed
54
updated
Aug 02, 2023
Fix typechecking of promoted empty lists
!10711
· created
Jun 23, 2023
by
Ryan Scott
9.8.1
typechecker
Closed
Approved
7
updated
Jul 21, 2023
Look through untyped TH splices in tcInferAppHead_maybe
!7522
· created
Feb 08, 2022
by
Ryan Scott
9.2.2
RankNTypes
typechecker
Closed
Approved
8
updated
Mar 04, 2022
WIP: Remove tuples of unit constraints during typechecking (fix #19275 part 1)
!4967
· created
Feb 09, 2021
by
Hécate Kleidukos
9.2.1
ConstraintKinds
typechecker
Closed
15
updated
Feb 11, 2022
compiler: re-engineer the treatment of rebindable if
!2960
· created
Mar 25, 2020
by
Alp Mestanogullari
8.14.1
RebindableSyntax
renamer
typechecker
Closed
Approved
232
updated
Dec 31, 2021
Make `tcCheckSatisfiability` incremental (#18645)
!3971
· created
Sep 03, 2020
by
Sebastian Graf
pattern match warnings
typechecker
Closed
19
updated
Jul 26, 2021
Fix newtype eta-reduction
!5689
· created
May 06, 2021
by
Simon Peyton Jones
HQ shepherd
typechecker
Closed
Approved
12
updated
May 08, 2021
Implement Quick Look impredicativity
!3220
· created
May 05, 2020
by
Simon Peyton Jones
9.2.1
HQ shepherd
ImpredicativeTypes
typechecker
Closed
Approved
341
updated
Mar 12, 2021
Fix exponential typechecking time bug for large rationals (#15646)
!55
· created
Dec 29, 2018
by
Julian Leviston
T
bug
compiler perf
typechecker
Closed
171
updated
Jan 26, 2021
Make typechecker equality consider visibility in ForAllTys
!4330
· created
Oct 20, 2020
by
Ryan Scott
9.2.1
typechecker
Closed
Approved
31
updated
Oct 31, 2020
Remove second tcLookupTcTyCon in tcDataDefn
!2875
· created
Mar 13, 2020
by
Vladislav Zavialov
typechecker
Closed
Approved
3
updated
Mar 14, 2020
Re-quantify when generalising over rewrite rule types
!2846
· created
Mar 09, 2020
by
Ryan Scott
9.0.1
PolyKinds
rules
typechecker
Closed
Approved
4
updated
Mar 11, 2020
Fix injectivity checking, again (#17405)
!2102
· created
Nov 07, 2019
by
Richard Eisenberg
8.10.1
typechecker
Closed
Approved
25
updated
Jan 07, 2020
typecheck: Fix #17633 by checking tycon in equation LHS
!2407
· created
Jan 03, 2020
by
Ben Gamari
9.0.1
typechecker
Closed
1
updated
Jan 03, 2020
Don't skip validity checks for built-in classes (#17355)
!1951
· created
Oct 14, 2019
by
Ryan Scott
typechecker
Closed
Approved
6
updated
Nov 04, 2019
Infer rho-types instead of sigma-types in guard BindStmts and TransStmts
!1954
· created
Oct 15, 2019
by
Sebastian Graf
typechecker
Closed
Approved
10
updated
Oct 24, 2019
Distinguish CoVarHoles via IdDetails
!1466
· created
Jul 23, 2019
by
Ben Gamari
8.10.1
typechecker
Closed
26
updated
Jul 26, 2019
Prev
1
2
Next