Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Merge requests
Open
21
Merged
7
Closed
46
All
74
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
Draft: Move runQ into Quasi class
!11136
· created
Aug 24, 2023
by
Teo Camarasu
user-facing
0
updated
Aug 24, 2023
Remove extension implication ScopedTypeVariables => TypeAbstractions
!11112
· created
Aug 21, 2023
by
sheaf
user-facing
Merged
Approved
7
updated
Sep 18, 2023
Don't bundle children for non-parent Avails
!11107
· created
Aug 17, 2023
by
sheaf
user-facing
Closed
15
updated
Aug 30, 2023
Make forall a keyword (#23719)
!10997
· created
Jul 29, 2023
by
Vladislav Zavialov
user-facing
Closed
Approved
28
updated
Dec 11, 2023
Desugar non-recursive lets to non-recursive lets (take 2)
1 of 1 checklist item completed
!10966
· created
Jul 25, 2023
by
Arnaud Spiwack
user-facing
Closed
Approved
23
updated
Aug 07, 2023
Linear let and where bindings
5 of 5 checklist items completed
!10952
· created
Jul 24, 2023
by
Arnaud Spiwack
LinearTypes
user-facing
Merged
Approved
2
69
updated
Dec 21, 2023
Draft: deriving: Typecheck associated family instances before instance bindings
!10871
· created
Jul 14, 2023
by
Ryan Scott
deriving
typechecker
user-facing
36
updated
Apr 12, 2024
Draft: instances in dependency analysis (#12088, #12239, #14668, #22257)
!10763
· created
Jun 29, 2023
by
Vladislav Zavialov
user-facing
1
12
updated
Jul 04, 2023
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
Type/data instances: require that variables on the RHS are mentioned on the LHS (#23512)
!10644
· created
Jun 12, 2023
by
Andrei Borzenkov
9.8.1
user-facing
Closed
Approved
22
updated
Jun 17, 2023
Capture scoped kind variables at type-checking phase (#16635)
!10560
· created
May 31, 2023
by
Andrei Borzenkov
user-facing
Merged
Approved
31
updated
Jun 15, 2023
Add Data.List.unsnoc
!10442
· created
May 13, 2023
by
Bodigrim
core libraries
user-facing
Closed
Approved
9
updated
May 29, 2023
Kill the constraint solver pipeline
!10415
· created
May 10, 2023
by
Simon Peyton Jones
user-facing
Closed
31
updated
May 23, 2023
Extension shuffling (#23291)
!10385
· created
May 05, 2023
by
Andrei Borzenkov
user-facing
Approved
91
updated
Mar 24, 2024
Extension shuffling (#23291)
!10287
· created
Apr 15, 2023
by
Andrei Borzenkov
user-facing
Closed
Approved
34
updated
May 05, 2023
Narrow the dont-decompose-newtype test
!9936
· created
Feb 07, 2023
by
Simon Peyton Jones
constraint solver
user-facing
Closed
Approved
33
updated
Mar 07, 2023
Introduce warning for loopy superclass solve
!9921
· created
Feb 06, 2023
by
sheaf
user-facing
Closed
38
updated
May 27, 2024
Draft: checkEqForallVis
!9912
· created
Feb 04, 2023
by
Vladislav Zavialov
user-facing
Closed
Approved
70
updated
Jun 05, 2023
Draft: TH: handle explicit quantification in instances
!9840
· created
Jan 27, 2023
by
sheaf
user-facing
12
updated
Jun 21, 2023
Detect family instance orphans correctly
!9765
· created
Jan 20, 2023
by
Simon Peyton Jones
user-facing
Closed
Approved
37
updated
Apr 18, 2023
Prev
1
2
3
4
Next