Allow redirection and piping with aliases (#1983)

* Redo

Co-authored-by: Ana Pantilie <ana.pantilie95@gmail.com>

* Pass unit tests

* Test attempt

* Tests

* Stylish

* Addressed comment: add test for >>

Co-authored-by: Ana Pantilie <ana.pantilie95@gmail.com>

Author: andreiburdusa

kore/src/Kore/Repl/Parser.hs

@@ -80,7 +80,7 @@ commandParser = commandParser0 eof
 
 commandParser0 :: Parser () -> Parser ReplCommand
 commandParser0 endParser =
-    alias <|> logCommand <|> commandParserExceptAlias endParser <|> tryAlias
+    alias <|> logCommand <|> commandParserExceptAlias endParser
 
 commandParserExceptAlias :: Parser () -> Parser ReplCommand
 commandParserExceptAlias endParser = do
@@ -121,6 +121,7 @@ nonRecursiveCommand =
         , loadScript
         , proofStatus
         , exit
+        , tryAlias
         ]
 
 pipeWith
@@ -407,7 +408,7 @@ tryAlias :: Parser ReplCommand
 tryAlias = do
     name <- some (noneOf [' ']) <* Char.space
     arguments <- many
-        (QuotedArgument <$> quotedWord <|> SimpleArgument <$> wordWithout "")
+        (QuotedArgument <$> quotedWord <|> SimpleArgument <$> wordWithout "|>")
     return . TryAlias $ ReplAlias { name, arguments }
 
 infixr 2 <$$>

kore/test/Test/Kore/Repl/Parser.hs

@@ -70,6 +70,7 @@ test_replParser =
     , loadScriptTests           `tests`       "load file"
     , initScriptTests           `testsScript` "repl script"
     , aliasesWithArgs           `tests`       "aliases with arguments"
+    , aliasRedirectionTests     `tests`       "alias with redirection"
     , proofStatus               `tests`       "proof-status"
     , logTests                  `tests`       "log"
     , debugAttemptEquationTests `tests`       "debug-attempt-equation"
@@ -454,6 +455,38 @@ aliasesWithArgs =
     alias name arguments command =
         Alias $ AliasDefinition { name, arguments, command }
 
+aliasRedirectionTests :: [ParserTest ReplCommand]
+aliasRedirectionTests =
+    [ parsesTo_
+        "myAlias > file"
+        ( Redirect
+            ( TryAlias
+                ReplAlias {name = "myAlias", arguments = []}
+            )
+            "file"
+        )
+    , parsesTo_
+        "myAlias >> file"
+        ( AppendTo
+            ( TryAlias
+                ReplAlias {name = "myAlias", arguments = []}
+            )
+            "file"
+        )
+    , parsesTo_
+        "myAlias | script > file"
+        ( Redirect
+            ( Pipe
+                ( TryAlias
+                    ReplAlias {name = "myAlias", arguments = []}
+                )
+                "script"
+                []
+            )
+            "file"
+        )
+    ]
+
 loadScriptTests :: [ParserTest ReplCommand]
 loadScriptTests =
     [ "load file"      `parsesTo_` LoadScript "file"