Merge pull request #2074 from GaloisInc/dholland-type-command

Handle plain ":t" in the repl better
GaloisInc · Jul 18, 2024 · 352c629 · 352c629
2 parents dd5c357 + b84e896
commit 352c629
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)