Jacques Garrigue

I suppose you could check for the presence of polymorphic variants in the pattern, if this is indeed the only case (have not done a full analysis yet). But is...

Ok for that syntax. I will give it a try. On a side note, after all these years we do not have syntax for binding existential types in patterns either.

Interesting problem. I do not think performance is a concern, but we shall always be careful about possible sources of non-termination. If there is no such concern, then updating `moregen_occur`...

I would not qualify this fix as urgent, but I do not think merging it prevent a change of semantics in the future. This would break some programs, but the...

The ambivalence cannot be detected due to the way abbreviation expansion is currently handled. It is correctly detected in the keep-expansion branch.