From b6821e30dc3512e074bddd48c27421bfea970040 Mon Sep 17 00:00:00 2001 From: Kai Schmidt Date: Fri, 13 Sep 2024 09:51:37 -0700 Subject: [PATCH] enabled inverse for SortDown --- src/algorithm/invert.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/algorithm/invert.rs b/src/algorithm/invert.rs index 580407ca..c4ba1b55 100644 --- a/src/algorithm/invert.rs +++ b/src/algorithm/invert.rs @@ -231,6 +231,7 @@ static INVERT_PATTERNS: &[&dyn InvertPattern] = { &pat!(Pick, (Dup, Shape, Range)), &pat!(Orient, (Dup, Shape, Len, Range)), &pat!(Sort, (Rand, Deal)), + &pat!(SortDown, (Rand, Deal)), &InvertPatternFn(invert_on_inv_pattern, "on inverse"), &InvertPatternFn(invert_push_temp_pattern, "push temp"), &InvertPatternFn(invert_copy_temp_pattern, "copy temp"),