Skip to content
Snippets Groups Projects
Commit 9108ead1 authored by Sebastian Graf's avatar Sebastian Graf
Browse files

Make `singleConstructor` cope with pattern synonyms 

Previously, `singleConstructor` didn't handle singleton `COMPLETE` sets
of a single pattern synonym, resulting in incomplete pattern warnings
in #15753.

This is fixed by making `singleConstructor` (now named
`singleMatchConstructor`) query `allCompleteMatches`, necessarily making
it effectful. As a result, most of this patch is concerned with
threading the side-effect through to `singleMatchConstructor`.

Unfortunately, this is not enough to completely fix the original
reproduction from #15753 and #15884, which are related to function
applications in pattern guards being translated too conservatively.
parent 4626cf21
No related merge requests found
Pipeline #4407 passed with warnings
Stage: lint
    Stage: build
      Stage: full-build
        Stage: cleanup
          Stage: packaging
            Stage: hackage
              Hide whitespace changes
              Inline Side-by-side
              0% or .
              You are about to add 0 people to the discussion. Proceed with caution.
              Finish editing this message first!
              Please register or to comment