Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Merge requests
Open
0
Merged
1
Closed
14
All
15
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}}
Created date
Use HsTyPats in associated type family defaults
!947
· created
May 14, 2019
by
Ryan Scott
8.10.1
TypeFamilies
Merged
Approved
12
updated
May 22, 2019
Refactor UnliftedNewtypes-relation kind signature validity checks
!1214
· created
Jun 16, 2019
by
Ryan Scott
8.10.1
TypeFamilies
UnliftedNewtypes
Closed
Approved
61
updated
Jun 23, 2019
Merge TcTypeableValidity into TcTypeable, document treatment of casts
!1236
· created
Jun 19, 2019
by
Ryan Scott
TypeFamilies
Typeable
Closed
Approved
39
updated
Oct 03, 2019
Only flatten up to type family arity in coreFlattenTyFamApp (#16995)
!1496
· created
Jul 26, 2019
by
Ryan Scott
TypeFamilies
core lint
Closed
Approved
99
updated
Nov 14, 2019
Use injectiveVarsOfType to catch dodgy type family instance binders (#17008)
!1513
· created
Jul 31, 2019
by
Ryan Scott
TypeFamilies
Closed
Approved
5
updated
Aug 02, 2019
Fix #17067 by making data family type constructors actually injective
!1581
· created
Aug 17, 2019
by
Ryan Scott
8.10.1
TypeFamilies
Closed
Approved
5
updated
Aug 18, 2019
Fix two ASSERT buglets in reifyDataCon
!3007
· created
Mar 31, 2020
by
Ryan Scott
8.10.2
GADTs
TemplateHaskell
TypeFamilies
Closed
Approved
3
updated
May 30, 2020
Postpone associated tyfam default checks until after typechecking
!4003
· created
Sep 08, 2020
by
Ryan Scott
9.0.1
TypeFamilies
Closed
Approved
5
updated
Sep 18, 2020
Fix desugaring of record updates on data families
!4222
· created
Oct 06, 2020
by
Ryan Scott
TypeFamilies
records
Closed
Approved
33
updated
Oct 14, 2020
Use tcSplitForAllInvisTyVars (not tcSplitForAllTyVars) in more places
!4434
· created
Nov 11, 2020
by
Ryan Scott
9.2.1
TypeFamilies
visible dependent quantification
Closed
15
updated
Nov 15, 2020
Reject dodgy scoping in associated family instance RHSes
!4536
· created
Nov 28, 2020
by
Ryan Scott
9.2.1
TypeFamilies
Closed
Approved
30
updated
Dec 17, 2020
Add {lifted,unlifted}DataConKey to pretendNameIsInScope's list of Names
!5524
· created
Apr 12, 2021
by
Ryan Scott
9.2.1
GHCi
TypeFamilies
Closed
Approved
7
updated
May 12, 2021
Pretty-print HsArgPar applications correctly (#19737)
!5600
· created
Apr 25, 2021
by
Ryan Scott
9.4.1
TemplateHaskell
TypeFamilies
pretty printing
Closed
Approved
5
updated
Apr 27, 2021
Refactor tcDeriving to generate tyfam insts before any bindings
!7613
· created
Feb 22, 2022
by
Ryan Scott
TypeFamilies
deriving
Closed
8
updated
Mar 26, 2022
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
10
updated
May 02, 2024