File tree 1 file changed +2
-0
lines changed
1 file changed +2
-0
lines changed Original file line number Diff line number Diff line change @@ -1456,7 +1456,9 @@ let args = Arg.align [
1456
1456
" -nostdlib" , Arg. Set Clflags. no_std_include, " Do not add default directory to the list of include directories" ;
1457
1457
" -ppx" , Arg. String (fun ppx -> Clflags. all_ppx := ppx :: ! Clflags. all_ppx), " <command> Pipe abstract syntax trees through preprocessor <command>" ;
1458
1458
" -principal" , Arg. Set Clflags. principal, " Check principality of type inference" ;
1459
+ #if OCAML_VERSION < (5 , 0 , 0 )
1459
1460
" -safe-string" , Arg. Clear Clflags. unsafe_string, " Make strings immutable" ;
1461
+ #endif
1460
1462
" -short-paths" , Arg. Clear Clflags. real_paths, " Shorten paths in types (the default)" ;
1461
1463
" -no-short-paths" , Arg. Set Clflags. real_paths, " Do not shorten paths in types" ;
1462
1464
" -rectypes" , Arg. Set Clflags. recursive_types, " Allow arbitrary recursive types" ;
You can’t perform that action at this time.
0 commit comments