Skip to content
GitLab
Explore
Sign in
Register
Add cmpSymbol to TypeLits
Code
Review changes
Check out branch
Download
Patches
Plain diff
Daniel Winograd-Cort
requested to merge
dwincort/ghc:add-cmpsymbol
into
master
Jun 23, 2020
Overview
70
Commits
1
Pipelines
33
Changes
15
Expand
This MR adds the
cmpSymbol
function to
GHC.TypeLits
, resolving
#18367
.
Merge request reports