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

Remove -safe-string for OCaml 5. See ocaml/ocaml#10893

This commit is contained in:
favonia 2022-03-27 22:09:30 -05:00
parent d5dbad6b80
commit df448e9ccd
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/uTop_main.ml
View File

@ -1456,7 +1456,9 @@ let args = Arg.align [
"-nostdlib", Arg.Set Clflags.no_std_include, " Do not add default directory to the list of include directories"; "-nostdlib", Arg.Set Clflags.no_std_include, " Do not add default directory to the list of include directories";
"-ppx", Arg.String (fun ppx -> Clflags.all_ppx := ppx :: !Clflags.all_ppx), "<command> Pipe abstract syntax trees through preprocessor <command>"; "-ppx", Arg.String (fun ppx -> Clflags.all_ppx := ppx :: !Clflags.all_ppx), "<command> Pipe abstract syntax trees through preprocessor <command>";
"-principal", Arg.Set Clflags.principal, " Check principality of type inference"; "-principal", Arg.Set Clflags.principal, " Check principality of type inference";
#if OCAML_VERSION < (5, 0, 0)
"-safe-string", Arg.Clear Clflags.unsafe_string, " Make strings immutable"; "-safe-string", Arg.Clear Clflags.unsafe_string, " Make strings immutable";
#endif
"-short-paths", Arg.Clear Clflags.real_paths, " Shorten paths in types (the default)"; "-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"; "-no-short-paths", Arg.Set Clflags.real_paths, " Do not shorten paths in types";
"-rectypes", Arg.Set Clflags.recursive_types, " Allow arbitrary recursive types"; "-rectypes", Arg.Set Clflags.recursive_types, " Allow arbitrary recursive types";