Open philzook58 opened 2 years ago
Currently it isn't. This is a choice for semantics of patterns, but maybe it is undesirable. This would either involve modifying Isel.check_exp or possibly be part of the side filter conditions of Patterns that probably need to be done anyhow.
Isel.check_exp
Currently it isn't. This is a choice for semantics of patterns, but maybe it is undesirable. This would either involve modifying
Isel.check_expor possibly be part of the side filter conditions of Patterns that probably need to be done anyhow.