From e5675f5ef739a98a7fddebd7c07bf53e314670a4 Mon Sep 17 00:00:00 2001 From: Denis Buzdalov Date: Sat, 17 Aug 2024 00:03:42 +0300 Subject: [PATCH] [ experim ] Preserve old right-to-left behaviour in case we don't know --- src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr b/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr index f854e2f30..882640dd0 100644 --- a/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr +++ b/src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr @@ -74,7 +74,7 @@ searchOrder left = do let next = removeDeeply curr $ removeDeeply determined left -- `next` is smaller than `left` because `curr` must be not empty - curr ++ searchOrder (assert_smaller left next) + reverse curr ++ searchOrder (assert_smaller left next) [WithNames] {con : Con} -> Foldable f => Interpolation (f $ Fin con.args.length) where interpolate xs = joinBy ", " $ toList xs <&> \i => case name $ index' con.args i of