From 2f31bbab23a2bea8b32fcb3d370928ddb72a9735 Mon Sep 17 00:00:00 2001 From: Inari Listenmaa Date: Fri, 15 Mar 2024 12:43:17 +0100 Subject: [PATCH] Apply gt to all arguments when piped --- src/compiler/GF/Command/Commands.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index a6c66594ff..f31a230833 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -218,9 +218,9 @@ pgfCommands = Map.fromList [ exec = getEnv $ \ opts arg (Env pgf mos) -> do let pgfr = optRestricted opts pgf let dp = valIntOpts "depth" 4 opts - let ts = case mexp (toExprs arg) of - Just ex -> generateFromDepth pgfr ex (Just dp) - Nothing -> generateAllDepth pgfr (optType pgf opts) (Just dp) + let ts = case toExprs arg of + [] -> generateAllDepth pgfr (optType pgf opts) (Just dp) + es -> concat [generateFromDepth pgfr e (Just dp) | e <- es] returnFromExprs $ take (optNumInf opts) ts }), ("i", emptyCommandInfo {