@@ -61,7 +61,6 @@ type error =
61
61
| Illegal_renaming of string * string * string
62
62
| Inconsistent_import of string * string * string
63
63
| Need_recursive_types of string * string
64
- | Depend_on_unsafe_string_unit of string * string
65
64
| Missing_module of Location .t * Path .t * Path .t
66
65
| Illegal_value_name of Location .t * string
67
66
@@ -691,7 +690,6 @@ let save_pers_struct crc ps =
691
690
(function
692
691
| Rectypes -> ()
693
692
| Deprecated _ -> ()
694
- | Unsafe_string -> ()
695
693
| Opaque -> add_imported_opaque modname)
696
694
ps.ps_flags;
697
695
Consistbl. set crc_units modname crc ps.ps_filename;
@@ -738,8 +736,6 @@ let acknowledge_pers_struct check modname
738
736
(function
739
737
| Rectypes ->
740
738
error (Need_recursive_types (ps.ps_name, ! current_unit))
741
- | Unsafe_string ->
742
- error (Depend_on_unsafe_string_unit (ps.ps_name, ! current_unit));
743
739
| Deprecated _ -> ()
744
740
| Opaque -> add_imported_opaque modname)
745
741
ps.ps_flags;
@@ -797,9 +793,6 @@ let check_pers_struct name =
797
793
Format. sprintf
798
794
" %s uses recursive types"
799
795
name
800
- | Depend_on_unsafe_string_unit (name , _ ) ->
801
- Printf. sprintf " %s uses -unsafe-string"
802
- name
803
796
| Missing_module _ -> assert false
804
797
| Illegal_value_name _ -> assert false
805
798
in
@@ -2317,11 +2310,6 @@ let report_error ppf = function
2317
2310
fprintf ppf
2318
2311
" @[<hov>Unit %s imports from %s, which uses recursive types.@ %s@]"
2319
2312
export import " The compilation flag -rectypes is required"
2320
- | Depend_on_unsafe_string_unit (import , export ) ->
2321
- fprintf ppf
2322
- " @[<hov>Unit %s imports from %s, compiled with -unsafe-string.@ %s@]"
2323
- export import " This compiler has been configured in strict \
2324
- safe-string mode (-force-safe-string)"
2325
2313
| Missing_module (_ , path1 , path2 ) ->
2326
2314
fprintf ppf " @[@[<hov>" ;
2327
2315
if Path. same path1 path2 then
0 commit comments