Handle plain ":t" in the repl better.

Print a message saying it requires an argument, instead of throwing a parse error.
GaloisInc · Jul 17, 2024 · b84e896 · b84e896
1 parent dd5c357
commit b84e896
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/saw/SAWScript/REPL/Command.hs b/saw/SAWScript/REPL/Command.hs
@@ -154,7 +154,9 @@ runCommand c = case c of
 
 
 typeOfCmd :: String -> REPL ()
-typeOfCmd str =
+typeOfCmd str
+  | null str = do io $ putStrLn $ "[error] :type requires an argument"
+  | otherwise =
   do let tokens = SAWScript.Lexer.lexSAW replFileName str
      expr <- case SAWScript.Parser.parseExpression tokens of
        Left err -> fail (show err)