Skip to content
GitLab
Explore
Sign in
Register
Open
2
Merged
1
Closed
32
All
35
Merge trains
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{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
Generate unique names for derived auxiliary bindings, don't deduplicate them
!3523
· created
Jun 14, 2020
by
Ryan Scott
deriving
Closed
15
0 of 1 Approvals
updated
Jun 22, 2020
Reject nested foralls/contexts in instance types more consistently
!3485
· created
Jun 10, 2020
by
Ryan Scott
9.0.1
HQ shepherd
ScopedTypeVariables
deriving
documentation
visible dependent quantification
Closed
14
Approved
updated
Jul 01, 2020
Create di_scoped_tvs for associated data family instances properly
!3107
· created
Apr 18, 2020
by
Ryan Scott
8.10.2
deriving
Closed
6
updated
Jul 16, 2020
Handle promoted data constructors in typeToLHsType correctly
!3044
· created
Apr 05, 2020
by
Ryan Scott
9.0.1
deriving
Closed
2
updated
Apr 08, 2020
Make DeriveFunctor-generated code require fewer beta reductions
!2835
· created
Mar 06, 2020
by
Ryan Scott
9.0.1
deriving
Closed
17
updated
Mar 12, 2020
Use InstanceSigs in GND/DerivingVia-generated code (#17899)
!2833
· created
Mar 06, 2020
by
Ryan Scott
9.0.1
InstanceSigs
deriving
Closed
11
Approved
updated
Mar 10, 2020
Refactor TcDeriv to validity-check less in anyclass/via deriving (#13154)
!1976
· created
Oct 18, 2019
by
Ryan Scott
8.10.1
deriving
Closed
5
Approved
updated
Oct 28, 2019
Refactor some cruft in TcDerivInfer.inferConstraints
!1937
· created
Oct 12, 2019
by
Ryan Scott
deriving
Closed
8
Approved
updated
Oct 15, 2019
Use newDFunName for both manual and derived instances (#17339)
!1926
· created
Oct 10, 2019
by
Ryan Scott
deriving
Closed
3
Approved
updated
Oct 12, 2019
Use addUsedDataCons more judiciously in TcDeriv (#17324)
!1916
· created
Oct 08, 2019
by
Ryan Scott
8.10.1
deriving
Closed
2
Approved
updated
Oct 09, 2019
Refactor some cruft in TcGenGenerics
!1884
· created
Oct 05, 2019
by
Ryan Scott
deriving
Closed
4
Approved
updated
Oct 07, 2019
Refactor some cruft in TcDeriv
!1837
· created
Sep 28, 2019
by
Ryan Scott
deriving
Closed
8
Approved
updated
Oct 01, 2019
Banish reportFloatingViaTvs to the shadow realm (#15831, #16181)
!1392
· created
Jul 12, 2019
by
Ryan Scott
8.10.1
deriving
Closed
30
Approved
updated
Nov 04, 2019
Don't typecheck too much (or too little) in DerivingVia (#16923)
!1370
· created
Jul 08, 2019
by
Ryan Scott
8.10.1
DerivingVia
deriving
Closed
9
Approved
updated
Jul 11, 2019
Some forall-related cleanup in deriving code
!946
· created
May 14, 2019
by
Ryan Scott
8.10.1
deriving
haddock
parser
Merged
19
Approved
updated
May 24, 2019
Prev
1
2
Next