Remove pattern evaluation from the interpreter. (#2400)

Patterns all compute their values when type-checked, so we never
actually need to do any multi-step evaluation to compute the value of a
pattern. Doing so was leading to quadratic runtime and excess noise in
the trace file.
This commit is contained in:
Richard Smith
2022-11-15 16:36:18 -08:00
committed by GitHub
parent 3b4bb985fb
commit dfbe35bae5
7 changed files with 28 additions and 175 deletions
-1
View File
@@ -144,7 +144,6 @@ static auto FinishActionKindFor(Action::Kind kind) -> FinishActionKind {
case Action::Kind::ExpressionAction:
case Action::Kind::WitnessAction:
case Action::Kind::LValAction:
case Action::Kind::PatternAction:
return FinishActionKind::Value;
case Action::Kind::StatementAction:
case Action::Kind::DeclarationAction: