Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Merge requests
Open
0
Merged
0
Closed
5
All
5
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}}
Updated date
Introduce isBoxedTupleDataCon and use it to fix #18644
!3966
· created
Sep 02, 2020
by
Ryan Scott
DataKinds
UnboxedTuples
pretty printing
Closed
Approved
12
updated
Sep 04, 2020
Make DataKinds the sole arbiter of kind-level literals (and friends)
!4276
· created
Oct 12, 2020
by
Ryan Scott
DataKinds
PolyKinds
Closed
Approved
10
updated
Oct 14, 2020
Document behaviour of RULES with KnownNat
!8035
· created
Apr 22, 2022
by
Bodigrim
DataKinds
documentation
rules
Closed
Approved
7
updated
Jun 16, 2022
More robust checking for DataKinds
!11314
· created
Sep 22, 2023
by
Ryan Scott
DataKinds
error messages
Closed
Approved
35
updated
Nov 01, 2023
Non-punning list and tuple syntax
18 of 19 checklist items completed
!8820
· created
Aug 12, 2022
by
Torsten Schmits
9.10.1
DataKinds
DependentHaskell
UnboxedSums
UnboxedTuples
ghc proposal
pretty printing
representation polymorphism
type literals
Closed
Approved
197
updated
May 02, 2024