Skip to content

Rewrite partitionByWorkerSize to avoid pattern match checker bug

Matthew Pickering requested to merge wip/t25538 into master

With -g3 the pattern match checker would warn about these incomplete patterns. This affects the debug_info builds on CI.

    Pattern match(es) are non-exhaustive
    In an equation for ‘go’:
        Patterns of type ‘[a]’, ‘[a]’, ‘[SpecFailWarning]’ not matched:
            (_:_) _ _
     |
2514 |         go [] small warnings = (small, warnings)
     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

Workaround for #25338

Merge request reports