switch to safe-string by default (related to MPR#7113) (ocaml#1252)

* switch to safe-string by default

Author: damiendoligez

Changes

@@ -38,6 +38,10 @@ Working version
   and patterns (plus fix printing of (::) in the toplevel)
   (Florian Angeletti, review by Alain Frisch, Gabriel Scherer)
 
+* GPR#1252: The default mode is now safe-string, can be overridden
+  at configure time or at compile time.
+  (Damien Doligez)
+
 - GPR#1253: Private extensible variants
   (Leo White, review by Alain Frisch)
 

testsuite/tests/basic/Makefile

@@ -1,20 +1,3 @@
-#**************************************************************************
-#*                                                                        *
-#*                                OCaml                                   *
-#*                                                                        *
-#*                 Xavier Clerc, SED, INRIA Rocquencourt                  *
-#*                                                                        *
-#*   Copyright 2010 Institut National de Recherche en Informatique et     *
-#*     en Automatique.                                                    *
-#*                                                                        *
-#*   All rights reserved.  This file is distributed under the terms of    *
-#*   the GNU Lesser General Public License version 2.1, with the          *
-#*   special exception on linking described in the file LICENSE.          *
-#*                                                                        *
-#**************************************************************************
-
-all: pr6322.ml check
-
 BASEDIR=../..
 include $(BASEDIR)/makefiles/Makefile.several
 include $(BASEDIR)/makefiles/Makefile.common
@@ -25,16 +8,3 @@ include $(BASEDIR)/makefiles/Makefile.common
 # As a temporary workaround, we skip this test.
 SKIP=test $$file = trigraph.ml \
      && test `uname -m` = i386 && test `uname -s` = OpenBSD
-
-GENERATED_SOURCES=pr6322.ml *.safe-string
-
-pr6322.ml: $(SAFE_STRING).safe-string
-ifeq ($(SAFE_STRING),false)
-	@cat pr6322.ml.in > $@
-else
-	@echo "Printf.printf \"PR#6322=Ok\\n%!\"" > $@
-endif
-
-%.safe-string:
-	@rm -f pr6322.ml
-	@touch $@

testsuite/tests/basic/pr6322.ml.in

@@ -13,8 +13,3 @@ clean:
 
 BASEDIR=../..
 include $(BASEDIR)/makefiles/Makefile.common
-
-# The second test (`A.y`) is unnecessary, indeed cannot be compiled, under -safe-string
-ifeq ($(SAFE_STRING),true)
-ADD_COMPFLAGS=-pp "sed -e '\$$d'"
-endif

testsuite/tests/basic/pr6322.reference

@@ -1,6 +1,3 @@
  type _ t =
      X of string
    | Y : bytes t
-
-(* It is important that the line below is the last line of the file (see Makefile) *)
-let y : string t = Y

testsuite/tests/typing-safe-linking/Makefile

@@ -158,7 +158,7 @@ let runtime_variant = ref "";;      (* -runtime-variant *)
 
 let keep_docs = ref false              (* -keep-docs *)
 let keep_locs = ref true               (* -keep-locs *)
-let unsafe_string = ref (not Config.safe_string)
+let unsafe_string = ref false
                                    (* -safe-string / -unsafe-string *)
 
 let classic_inlining = ref false       (* -Oclassic *)