GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-17 13:01:31 +03:00
Code Issues Projects Releases Wiki Activity

Say something if name does not refer to anything

Browse Source
This commit is contained in:
Iavor S. Diatchki 2017-09-28 15:47:23 -07:00
parent aa44dd7860
commit 75ca6b7fa2
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Cryptol/REPL/Command.hs
View File

@ -171,7 +171,7 @@ nbCommandList =
, CommandDescr [ ":b", ":browse" ] (ExprTypeArg browseCmd)
"display the current environment"
, CommandDescr [ ":?", ":help" ] (ExprArg helpCmd)
"display a brief description about a function"
"display a brief description of a function or a type"
, CommandDescr [ ":s", ":set" ] (OptionArg setOptionCmd)
"set an environmental option (:set on its own displays current values)"
, CommandDescr [ ":check" ] (ExprArg (void . qcCmd QCRandom))
@ -808,6 +808,9 @@ helpCmd cmd
mapM_ (showTypeHelp env nameEnv) tNames
mapM_ (showValHelp env nameEnv qname) vNames
when (null (vNames ++ tNames)) $
rPrint $ "Undefined name:" <+> pp qname
Nothing ->
rPutStrLn ("Unable to parse name: " ++ cmd)