@@ -4,6 +4,7 @@ data CmdArg = ExprArg -- ^ The command takes an expression
44 | NameArg -- ^ The command takes a name
55 | FileArg -- ^ The command takes a file
66 | ModuleArg -- ^ The command takes a module name
7+ | NumberArg -- ^ The command takes a number
78 | NamespaceArg -- ^ The command takes a namespace name
89 | OptionArg -- ^ The command takes an option
910 | MetaVarArg -- ^ The command takes a metavariable
@@ -21,6 +22,7 @@ instance Show CmdArg where
2122 show NameArg = "<name>"
2223 show FileArg = "<filename>"
2324 show ModuleArg = "<module>"
25+ show NumberArg = "<number>"
2426 show NamespaceArg = "<namespace>"
2527 show OptionArg = "<option>"
2628 show MetaVarArg = "<metavar>"
@@ -70,7 +72,8 @@ help =
7072 ([":w", ":warranty"], NoArg, "Displays warranty information"),
7173 ([":let"], ManyArgs DeclArg, "Evaluate a declaration, such as a function definition, instance implementation, or fixity declaration"),
7274 ([":undefine",":unlet"], ManyArgs NameArg, "Remove the listed repl definitions, or all repl definitions if no names given"),
73− ([":printdef"], NameArg, "Show the definition of a function")
75+ ([":printdef"], NameArg, "Show the definition of a function"),
76+ ([":pp", ":pprint"], (SeqArgs OptionArg (SeqArgs NumberArg ExprArg)), "Pretty prints an expression in either LaTeX or HTML and for a specified width.")
7477 ]
7578
7679-- | Use these for completion, but don't show them in :help