Skip to content
GitLab
Explore
Sign in
Register
WIP: Warn for redundant context
Code
Review changes
Check out branch
Download
Patches
Plain diff
Kai Prott
requested to merge
RedundantContext
into
master
Jul 11, 2018
Overview
1
Commits
6
Pipelines
0
Changes
6
Expand
e.g. in
(Eq a, Ord a) => ...
the
Eq a
is unnecessary
Merge request reports
Loading