Skip to content
Snippets Groups Projects
Commit 0419aa99 authored by stuebinm's avatar stuebinm
Browse files

maps, maps, and yet more maps

don't add maps to the result if their lint result looks the same as that
of another list, just say it happened several times instead (this leads
to a rather confusing Eq instance for MapResult which implements a very
simple surface-level equality — perhaps change that later)
parent 436a7dbb
Branches
Tags
No related merge requests found
Pipeline #13323 passed
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment