Skip to content
Snippets Groups Projects
Sebastian Graf's avatar
Sebastian Graf authored
In #17343 we saw that we didn't handle the pattern guard `!_ <-
undefined` correctly: The `undefined` was never evaluated. Indeed,
elaboration failed to insert the invisible type aruments to `undefined`.
So `undefined` was trivially a normal-form and in turn never entered.

The problem is that we used to infer a sigma-type for the RHS of the
guard, the leading qualifiers of which will never be useful in a pattern
match situation. Hence we infer a rho-type now.

Fixes #17343.
ff798200
Forked from Glasgow Haskell Compiler / GHC
13354 commits behind, 1 commit ahead of the upstream repository.