git.iko.soy/Idris-dev
on master help sign in
Forgot a comma in adding a help entry for :search
3eede2ebmsherman
src/Idris/Help.hs+1−1
compare with master
unifiedsplit
@@ -33,7 +33,7 @@ help =
33 ([":doc"], NameArg, "Show internal documentation"),
33 ([":doc"], NameArg, "Show internal documentation"),
34 ([":mkdoc"], NamespaceArg, "Generate IdrisDoc for namespace(s) and dependencies"),
34 ([":mkdoc"], NamespaceArg, "Generate IdrisDoc for namespace(s) and dependencies"),
35 ([":apropos"], NoArg, "Search names, types, and documentation"),
35 ([":apropos"], NoArg, "Search names, types, and documentation"),
36− ([":search", ":s"], ExprArg, "Search for values by type")
36+ ([":search", ":s"], ExprArg, "Search for values by type"),
37 ([":whocalls", ":wc"], NameArg, "List the callers of some name"),
37 ([":whocalls", ":wc"], NameArg, "List the callers of some name"),
38 ([":callswho", ":cw"], NameArg, "List the callees of some name"),
38 ([":callswho", ":cw"], NameArg, "List the callees of some name"),
39 ([":total"], NameArg, "Check the totality of a name"),
39 ([":total"], NameArg, "Check the totality of a name"),