Skip to content
GitLab
Explore
Sign in
Register
Open
0
Merged
7
Closed
83
All
90
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
Unify result type earlier to improve error messages
!5019
· created
Feb 15, 2021
by
Simon Peyton Jones
9.2.1
HQ shepherd
error messages
Closed
33
Approved
updated
Mar 01, 2021
Remove leftover trace messages from the keepAlive# work.
!5012
· created
Feb 15, 2021
by
Andreas Klebinger
HQ shepherd
Closed
9
Approved
updated
Feb 18, 2021
Improve handling of overloaded labels, literals, lists etc
!4981
· created
Feb 11, 2021
by
Simon Peyton Jones
9.2.1
HQ shepherd
Merged
68
Approved
updated
Feb 21, 2021
Fix a long standing bug in constraint solving (forward-port)
!4960
· created
Feb 08, 2021
by
Krzysztof Gogolewski
HQ shepherd
Closed
4
updated
Feb 19, 2021
Fix a long standing bug in constraint solving
!4950
· created
Feb 05, 2021
by
Simon Peyton Jones
HQ shepherd
Closed
14
Approved
updated
Feb 09, 2021
Improve specialisation for imported functions
!4944
· created
Feb 04, 2021
by
Simon Peyton Jones
HQ shepherd
Closed
8
Approved
updated
Feb 26, 2021
Implement -Wambiguous-fields
!4770
· created
Jan 08, 2021
by
Adam Gundry
9.2.1
HQ shepherd
Closed
20
Approved
updated
Feb 28, 2021
Take TyVarTvs into account in matchableGivens
!4746
· created
Jan 06, 2021
by
Richard Eisenberg
HQ shepherd
Closed
17
Approved
updated
Jan 25, 2021
Fix error recovery in solveEqualities
!4701
· created
Dec 31, 2020
by
Simon Peyton Jones
HQ shepherd
Closed
39
Approved
updated
Jan 25, 2021
Don't use absentError thunks for strict constructor fields
!4695
· created
Dec 30, 2020
by
Simon Peyton Jones
HQ shepherd
Closed
21
Approved
updated
Jan 02, 2021
Add regression test for #18467
!4677
· created
Dec 23, 2020
by
Simon Peyton Jones
HQ shepherd
Merged
3
Approved
updated
Jan 03, 2021
Make PatSyn immutable
!4666
· created
Dec 22, 2020
by
Simon Peyton Jones
HQ shepherd
Closed
23
Approved
updated
Jan 30, 2021
Unification variables from level n should not be in the Givens for a level-n implication
!4630
· created
Dec 17, 2020
by
Simon Peyton Jones
HQ shepherd
Closed
23
Approved
updated
Jan 02, 2021
Better comments in Quick Look
!4512
· created
Nov 25, 2020
by
Simon Peyton Jones
HQ shepherd
Closed
9
Approved
updated
Dec 21, 2020
Fix kind inference for data types. Again.
!4419
· created
Nov 06, 2020
by
Simon Peyton Jones
9.2.1
HQ shepherd
Closed
109
Approved
updated
Dec 08, 2020
Fix error message location in tcCheckPatSynDecl
!4332
· created
Oct 21, 2020
by
Simon Peyton Jones
9.2.1
HQ shepherd
PatternSynonyms
error messages
Closed
6
Approved
updated
Oct 23, 2020
Fix two constraint solving problems
!4324
· created
Oct 19, 2020
by
Simon Peyton Jones
9.0.1
HQ shepherd
Closed
24
Approved
updated
Nov 10, 2020
Kill constraint-floating
!4200
· created
Oct 02, 2020
by
Simon Peyton Jones
HQ shepherd
constraint solver
Closed
111
updated
Dec 21, 2020
Fix the occurrence analyser's interaction with local RULES for imported Ids
!3941
· created
Aug 28, 2020
by
Simon Peyton Jones
HQ shepherd
Closed
13
Approved
updated
Sep 22, 2020
Better eta-expansion, and less DFun specialisation
!3889
· created
Aug 19, 2020
by
Simon Peyton Jones
HQ shepherd
Closed
15
updated
Mar 08, 2021
Prev
1
2
3
4
5
Next