git.iko.soy/Idris-dev
on master help sign in
Remove ":m" as a shortcut for ":module" in help as it
5159ad4Ahmad Salim Al-Sibahi
src/Idris/Help.hs+2−2
compare with master
unifiedsplit
@@ -35,9 +35,9 @@ help =
35 ([":r",":reload"], NoArg, "Reload current file"),
35 ([":r",":reload"], NoArg, "Reload current file"),
36 ([":l",":load"], FileArg, "Load a new file"),
36 ([":l",":load"], FileArg, "Load a new file"),
37 ([":cd"], FileArg, "Change working directory"),
37 ([":cd"], FileArg, "Change working directory"),
38− ([":m",":module"], ModuleArg, "Import an extra module"), -- NOTE: dragons
38+ ([":module"], ModuleArg, "Import an extra module"), -- NOTE: dragons
39 ([":e",":edit"], NoArg, "Edit current file using $EDITOR or $VISUAL"),
39 ([":e",":edit"], NoArg, "Edit current file using $EDITOR or $VISUAL"),
40− ([":m",":metavars"], MetaVarArg, "Show remaining proof obligations (metavariables)"),
40+ ([":m",":metavars"], NoArg, "Show remaining proof obligations (metavariables)"),
41 ([":p",":prove"], MetaVarArg, "Prove a metavariable"),
41 ([":p",":prove"], MetaVarArg, "Prove a metavariable"),
42 ([":a",":addproof"], NameArg, "Add proof to source file"),
42 ([":a",":addproof"], NameArg, "Add proof to source file"),
43 ([":rmproof"], NameArg, "Remove proof from proof stack"),
43 ([":rmproof"], NameArg, "Remove proof from proof stack"),