Skip to content
GitLab
Explore
Sign in
Register
Open
0
Merged
0
Closed
5
All
5
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
More robust checking for DataKinds
!11314
· created
Sep 22, 2023
by
Ryan Scott
DataKinds
error messages
Closed
35
Approved
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
197
Approved
updated
May 02, 2024
Document behaviour of RULES with KnownNat
!8035
· created
Apr 22, 2022
by
Bodigrim
DataKinds
documentation
rules
Closed
7
Approved
updated
Jun 16, 2022
Make DataKinds the sole arbiter of kind-level literals (and friends)
!4276
· created
Oct 12, 2020
by
Ryan Scott
DataKinds
PolyKinds
Closed
10
Approved
updated
Oct 14, 2020
Introduce isBoxedTupleDataCon and use it to fix #18644
!3966
· created
Sep 02, 2020
by
Ryan Scott
DataKinds
UnboxedTuples
pretty printing
Closed
12
Approved
updated
Sep 04, 2020
