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

Display help for built-in types in REPL.

Browse Source 
Fixes #504
This commit is contained in:
Iavor Diatchki 2018-07-26 09:27:11 +03:00
parent 19c71fa4aa
commit 96539178d4
1 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -918,11 +918,13 @@ helpCmd cmd
do (params,env,rnEnv,nameEnv) <- getFocusedEnv
let vNames = M.lookupValNames qname rnEnv
tNames = M.lookupTypeNames qname rnEnv
pNames = T.primTyFromPName qname
mapM_ (showTypeHelp params env nameEnv) tNames
mapM_ (showValHelp params env nameEnv qname) vNames
mapM_ (showPrimTyHelp nameEnv) pNames
when (null (vNames ++ tNames)) $
when (null (vNames ++ tNames) && pNames == Nothing) $
rPrint $ "Undefined name:" <+> pp qname
Nothing ->
rPutStrLn ("Unable to parse name: " ++ cmd)
@ -934,6 +936,16 @@ helpCmd cmd
rPrint $runDoc nameEnv ("Name defined in module" <+> pp m)
M.Parameter -> rPutStrLn "// No documentation is available."
showPrimTyHelp nameEnv pt =
do rPutStrLn "Primitive type:"
let i = T.primTyIdent pt
nm = pp (T.primTyIdent pt)
pnam = if P.isInfixIdent i then parens nm else nm
sig = pnam <+> ":" <+> pp (T.kindOf (T.primTyCon pt))
rPrint $ runDoc nameEnv $ nest 4 sig
doShowFix (T.primTyFixity pt)
rPutStrLn (T.primTyDoc pt)
showTypeHelp params env nameEnv name =
fromMaybe (noInfo nameEnv name) $
msum [ fromTySyn, fromNewtype, fromTyParam ]