From: Stephane Glondu Date: Tue, 21 Dec 2021 12:50:00 +0000 (+0100) Subject: New upstream version 4.13.1 X-Git-Tag: archive/raspbian/4.13.1-3+rpi1~2^2~27^2 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=c4f999bb72132c61e3ba776ec7b2035dd1c71966;p=ocaml.git New upstream version 4.13.1 --- diff --git a/Changes b/Changes index cf020c89..deb5c534 100644 --- a/Changes +++ b/Changes @@ -1,3 +1,12 @@ +OCaml 4.13.1 (01 October 2021) +-------------------------------- + +### Bug fixes + +- #10661, #10662: fix a bug with classes named "row" + (Gabriel Scherer, report by Nicolás Ojeda Bär) + + OCaml 4.13.0 (24 September 2021) -------------------------------- diff --git a/VERSION b/VERSION index 3cc34799..1854a0b2 100644 --- a/VERSION +++ b/VERSION @@ -1,4 +1,4 @@ -4.13.0 +4.13.1 # The version string is the first line of this file. # It must be in the format described in stdlib/sys.mli diff --git a/boot/ocamlc b/boot/ocamlc index 7874a890..8a6cfd73 100755 Binary files a/boot/ocamlc and b/boot/ocamlc differ diff --git a/boot/ocamllex b/boot/ocamllex index 5a3705cb..18a39850 100755 Binary files a/boot/ocamllex and b/boot/ocamllex differ diff --git a/configure b/configure index 961232fc..bf3052be 100755 --- a/configure +++ b/configure @@ -56,7 +56,7 @@ if test -e '.git' ; then : fi fi # Guess values for system-dependent variables and create Makefiles. -# Generated by GNU Autoconf 2.69 for OCaml 4.13.0. +# Generated by GNU Autoconf 2.69 for OCaml 4.13.1. # # Report bugs to . # @@ -646,8 +646,8 @@ MAKEFLAGS= # Identity of this package. PACKAGE_NAME='OCaml' PACKAGE_TARNAME='ocaml' -PACKAGE_VERSION='4.13.0' -PACKAGE_STRING='OCaml 4.13.0' +PACKAGE_VERSION='4.13.1' +PACKAGE_STRING='OCaml 4.13.1' PACKAGE_BUGREPORT='caml-list@inria.fr' PACKAGE_URL='http://www.ocaml.org' @@ -1479,7 +1479,7 @@ if test "$ac_init_help" = "long"; then # Omit some internal or obsolete options to make the list less imposing. # This message is too long to be a string in the A/UX 3.1 sh. cat <<_ACEOF -\`configure' configures OCaml 4.13.0 to adapt to many kinds of systems. +\`configure' configures OCaml 4.13.1 to adapt to many kinds of systems. Usage: $0 [OPTION]... [VAR=VALUE]... @@ -1545,7 +1545,7 @@ fi if test -n "$ac_init_help"; then case $ac_init_help in - short | recursive ) echo "Configuration of OCaml 4.13.0:";; + short | recursive ) echo "Configuration of OCaml 4.13.1:";; esac cat <<\_ACEOF @@ -1709,7 +1709,7 @@ fi test -n "$ac_init_help" && exit $ac_status if $ac_init_version; then cat <<\_ACEOF -OCaml configure 4.13.0 +OCaml configure 4.13.1 generated by GNU Autoconf 2.69 Copyright (C) 2012 Free Software Foundation, Inc. @@ -2418,7 +2418,7 @@ cat >config.log <<_ACEOF This file contains any messages produced by compilers while running configure, to aid debugging if configure makes a mistake. -It was created by OCaml $as_me 4.13.0, which was +It was created by OCaml $as_me 4.13.1, which was generated by GNU Autoconf 2.69. Invocation command line was $ $0 $@ @@ -2767,8 +2767,8 @@ ac_compiler_gnu=$ac_cv_c_compiler_gnu -{ $as_echo "$as_me:${as_lineno-$LINENO}: Configuring OCaml version 4.13.0" >&5 -$as_echo "$as_me: Configuring OCaml version 4.13.0" >&6;} +{ $as_echo "$as_me:${as_lineno-$LINENO}: Configuring OCaml version 4.13.1" >&5 +$as_echo "$as_me: Configuring OCaml version 4.13.1" >&6;} # Configuration variables @@ -2851,7 +2851,7 @@ ac_configure="$SHELL $ac_aux_dir/configure" # Please don't use this var. -VERSION=4.13.0 +VERSION=4.13.1 # Note: This is present for the flexdll bootstrap where it exposed as the old @@ -12727,7 +12727,7 @@ case $ocaml_cv_cc_vendor in #( cc_warnings='-Wall -Wdeclaration-after-statement' ;; esac -case $enable_warn_error,4.13.0 in #( +case $enable_warn_error,4.13.1 in #( yes,*|,*+dev*) : cc_warnings="$cc_warnings $warn_error_flag" ;; #( *) : @@ -17602,7 +17602,7 @@ fi -case $enable_ocamltest,4.13.0 in #( +case $enable_ocamltest,4.13.1 in #( yes,*|,*+dev*) : ocamltest='ocamltest' ;; #( *) : @@ -18320,7 +18320,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1 # report actual input values of CONFIG_FILES etc. instead of their # values after options handling. ac_log=" -This file was extended by OCaml $as_me 4.13.0, which was +This file was extended by OCaml $as_me 4.13.1, which was generated by GNU Autoconf 2.69. Invocation command line was CONFIG_FILES = $CONFIG_FILES @@ -18387,7 +18387,7 @@ _ACEOF cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`" ac_cs_version="\\ -OCaml config.status 4.13.0 +OCaml config.status 4.13.1 configured by $0, generated by GNU Autoconf 2.69, with options \\"\$ac_cs_config\\" diff --git a/ocaml-variants.opam b/ocaml-variants.opam index 4c3d58c8..938807ea 100644 --- a/ocaml-variants.opam +++ b/ocaml-variants.opam @@ -1,8 +1,8 @@ opam-version: "2.0" -version: "4.13.0" -synopsis: "OCaml 4.13.0" +version: "4.13.1" +synopsis: "OCaml 4.13.1" depends: [ - "ocaml" {= "4.13.0" & post} + "ocaml" {= "4.13.1" & post} "base-unix" {post} "base-bigarray" {post} "base-threads" {post} diff --git a/testsuite/tests/typing-modules-bugs/pr10661_ok.ml b/testsuite/tests/typing-modules-bugs/pr10661_ok.ml new file mode 100644 index 00000000..1dfa42f4 --- /dev/null +++ b/testsuite/tests/typing-modules-bugs/pr10661_ok.ml @@ -0,0 +1,10 @@ +(* TEST +* setup-ocamlc.byte-build-env +** ocamlc.byte +*** check-ocamlc.byte-output +*) + +module M = struct + class row = object + end +end diff --git a/typing/btype.ml b/typing/btype.ml index e414f7a9..a18f53dd 100644 --- a/typing/btype.ml +++ b/typing/btype.ml @@ -245,7 +245,9 @@ let has_constr_row t = let is_row_name s = let l = String.length s in - if l < 4 then false else String.sub s (l-4) 4 = "#row" + (* PR#10661: when l=4 and s is "#row", this is not a row name + but the valid #-type name of a class named "row". *) + l > 4 && String.sub s (l-4) 4 = "#row" let is_constr_row ~allow_ident t = match t.desc with