Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Merge requests
Open
19
Merged
7
Closed
44
All
70
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}}
Label priority
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
10
updated
May 02, 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
Feb 22, 2023
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
Move newtype-unwrapping to the rewriter
!9623
· created
Jan 02, 2023
by
Richard Eisenberg
9.6.1
user-facing
Closed
Approved
24
updated
Feb 16, 2023
gitlab-ci: Don't use trigger: to trigger head.hackage builds
!9600
· created
Dec 21, 2022
by
Ben Gamari
user-facing
Closed
2
updated
Dec 22, 2022
head.hackage: Use slow-validate bindist for linting jobs
!9551
· created
Dec 15, 2022
by
Matthew Pickering
user-facing
Closed
3
updated
Dec 24, 2022
Prev
1
2
3
4
Next