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

Implement wrapper for -safe-string (fixes #93).

This commit is contained in:
Peter Zotov 2014-09-08 23:25:21 +04:00
parent 1dc1720fa4
commit ea45f25c73
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/lib/uTop_main.ml
View File

@ -1163,6 +1163,9 @@ let args = Arg.align [
"-ppx", Arg.String (fun ppx -> Clflags.all_ppx := ppx :: !Clflags.all_ppx), "<command> Pipe abstract syntax trees through preprocessor <command>";
#endif
"-principal", Arg.Set Clflags.principal, " Check principality of type inference";
#if ocaml_version >= (4, 02, 0)
"-safe-string", Arg.Clear Clflags.unsafe_string, " Make strings immutable";
#endif
#if ocaml_version >= (4, 01, 0)
"-short-paths", Arg.Clear Clflags.real_paths, " Shorten paths in types (the default)";
"-no-short-paths", Arg.Set Clflags.real_paths, " Do not shorten paths in types";