Skip to content

Pattern guards BindStmt always use multiplicity Many

Arnaud Spiwack requested to merge tweag/ghc:pattern-guard-multiplicity-unsoudness into master

Fixes #18439 (closed) .

The rhs of the pattern guard was consumed with multiplicity one, while the pattern assumed it was Many. We use Many everywhere instead.

This is behaviour consistent with that of case expression. See #18738 (closed).

Edited by Arnaud Spiwack

Merge request reports