From 9a267b3e75580f36483137bd1842e78ef7f0c2f2 Mon Sep 17 00:00:00 2001 From: Jonas Hoefer Date: Mon, 19 Aug 2024 11:32:10 +0200 Subject: [PATCH] Improve REPL help message for :unfold options --- src/Main.hs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/Main.hs b/src/Main.hs index cb323bb..fbfe50c 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -115,8 +115,7 @@ quitCmd = command ":quit" (info (pure Quit) (progDesc "Quit repl")) unfoldCmd :: Mod CommandFields ReplCmd unfoldCmd = command ":unfold" $ info (Unfold <$> option auto (short 's' <> metavar "STEPS" <> showDefault <> value 1 <> help "Number of unfold steps") - <*> option auto (short 'd' <> metavar "DISPLAY-STYLE" <> showDefault <> value Sequential - <> help "Presentation of unfolded steps. Either `Summed` or `Sequential`") + <*> option auto (short 'd' <> metavar "[Summed|Sequential]" <> showDefault <> value Sequential <> help "Presentation of unfolded steps") <*> (unwords <$> many (argument str (metavar "DEF")))) (progDesc "Perform a single unfolding steps on given definition or, if not argument is given, on the last considered term.")