haskal
/
utop
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

added the option -show-reserved to disable [hide_reserved]

This commit is contained in:
Jeremie Dimino 2013-02-06 17:27:09 -05:00
parent 8da31fbdce
commit ae1636cf45
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/uTop.mli
View File

@ -38,7 +38,7 @@ val hide_reserved : bool signal
]}
This is for hidding variables created by code generators for internal use. It can
also be set by the command line option [-hide-reserved].
also be set/unset by the command line options [-hide-reserved] and [-show-reserved].
*)
val get_hide_reserved : unit -> bool

5
src/lib/uTop_main.ml
View File

@ -946,7 +946,10 @@ let args = Arg.align [
\ Default setting is %S" Warnings.defaults_warn_error;
"-warn-help", Arg.Unit Warnings.help_warnings, " Show description of warning numbers";
"-emacs", Arg.Set emacs_mode, " Run in emacs mode";
"-hide-reserved", Arg.Bool UTop.set_hide_reserved, " Hide identifiers starting with a '_'";
"-hide-reserved", Arg.Unit (fun () -> UTop.set_hide_reserved true),
" Hide identifiers starting with a '_' (the default)";
"-show-reserved", Arg.Unit (fun () -> UTop.set_hide_reserved false),
" Show identifiers starting with a '_'";
]
#if ocaml_version >= (4, 01, 0)