Ensure that Static recursive bindings always go through pre-allocation

.depend.menhir

@@ -1,11 +1,28 @@
-parsing/parser.cmo : parsing/syntaxerr.cmi parsing/parsetree.cmi \
-    parsing/longident.cmi parsing/location.cmi parsing/docstrings.cmi \
-    utils/clflags.cmi parsing/asttypes.cmi parsing/ast_helper.cmi \
+parsing/parser.cmo : \
+    parsing/syntaxerr.cmi \
+    parsing/parsetree.cmi \
+    parsing/longident.cmi \
+    parsing/location.cmi \
+    parsing/docstrings.cmi \
+    utils/clflags.cmi \
+    parsing/builtin_attributes.cmi \
+    parsing/asttypes.cmi \
+    parsing/ast_helper.cmi \
     parsing/parser.cmi
-parsing/parser.cmx : parsing/syntaxerr.cmx parsing/parsetree.cmi \
-    parsing/longident.cmx parsing/location.cmx parsing/docstrings.cmx \
-    utils/clflags.cmx parsing/asttypes.cmi parsing/ast_helper.cmx \
+parsing/parser.cmx : \
+    parsing/syntaxerr.cmx \
+    parsing/parsetree.cmi \
+    parsing/longident.cmx \
+    parsing/location.cmx \
+    parsing/docstrings.cmx \
+    utils/clflags.cmx \
+    parsing/builtin_attributes.cmx \
+    parsing/asttypes.cmi \
+    parsing/ast_helper.cmx \
     parsing/parser.cmi
-parsing/parser.cmi : parsing/parsetree.cmi parsing/location.cmi \
+parsing/parser.cmi : \
+    parsing/parsetree.cmi \
+    parsing/longident.cmi \
+    parsing/location.cmi \
     parsing/docstrings.cmi
-parsing/parser.ml parsing/parser.mli: parsing/ast_helper.cmi parsing/asttypes.cmi utils/clflags.cmi parsing/docstrings.cmi parsing/location.cmi parsing/longident.cmi parsing/parsetree.cmi parsing/syntaxerr.cmi
+parsing/parser.ml parsing/parser.mli: parsing/ast_helper.cmi parsing/asttypes.cmi parsing/builtin_attributes.cmi utils/clflags.cmi parsing/docstrings.cmi parsing/location.cmi parsing/longident.cmi parsing/parsetree.cmi parsing/syntaxerr.cmi

.gitattributes

@@ -108,7 +108,7 @@ runtime/sak.c            typo.non-ascii
 stdlib/hashbang     typo.white-at-eol typo.missing-lf
 
 testsuite/tests/**                                      typo.missing-header typo.long-line=may
-testsuite/tests/lib-bigarray-2/bigarrf.f                typo.tab
+testsuite/tests/lib-bigarray-2/bigarrf.f                typo.tab linguist-language=Fortran
 testsuite/tests/lib-unix/win-stat/fakeclock.c           typo.missing-header=false
 testsuite/tests/misc-unsafe/almabench.ml                typo.long-line
 testsuite/tests/tool-toplevel/strings.ml                typo.utf8
@@ -118,6 +118,7 @@ testsuite/tests/generated-parse-errors/errors.*         typo.very-long-line
 testsuite/tools/*.S                                     typo.missing-header
 testsuite/tools/*.asm                                   typo.missing-header
 testsuite/tests/messages/highlight_tabs.ml              typo.tab
+testsuite/tests/tool-toplevel/multi_phrase_line.ml      typo.very-long-line
 
 # prune testsuite reference files
 testsuite/tests/**/*.reference               typo.prune
@@ -147,34 +148,51 @@ tools/magic                       typo.missing-header
 *.sh text eol=lf
 *.sh.in text eol=lf
 *.awk text eol=lf
-*.m4 text eol=lf
+*.m4 text eol=lf linguist-language=M4Sugar
 
 # ocamltest hooks which are used in the testsuite
 *.check-program-output text eol=lf
 *.run text eol=lf
 
 /tools/ci/appveyor/appveyor_build.cmd text eol=crlf
 
-aclocal.m4 typo.tab
+Makefile* linguist-language=Makefile
+*.c linguist-language=C
+*.h linguist-language=C
+*.h.in linguist-language=C
+*.hva linguist-language=TeX
+*.ml linguist-language=OCaml
+*.ml? linguist-language=OCaml
+*.mld linguist-documentation
+*.ml*.in linguist-language=OCaml
+*.tbl linguist-language=C
+
+aclocal.m4 typo.tab -linguist-vendored linguist-language=M4Sugar
 configure.ac text eol=lf
-build-aux/compile text eol=lf
+# These scripts are all parts of autoconf and are tagged linguist-generated
+# to suppress inclusion in PR diffs.
+build-aux/compile linguist-generated text eol=lf
 build-aux/config.guess linguist-generated text eol=lf
 build-aux/config.sub linguist-generated text eol=lf
-build-aux/install-sh text eol=lf
-build-aux/missing text eol=lf
+build-aux/install-sh linguist-generated text eol=lf
+build-aux/ltmain.sh linguist-generated text eol=lf
+build-aux/missing linguist-generated text eol=lf
+build-aux/*.m4 linguist-vendored
+build-aux/ocaml_version.m4 -linguist-vendored linguist-language=M4Sugar
 ocamltest/OCAMLTEST.org typo.long-line=may typo.missing-header
 stdlib/Compflags text eol=lf
 stdlib/hashbang -text
 tools/autogen text eol=lf
+tools/bump-magic-numbers eol=lf typo.long-line
 tools/ci/inria/bootstrap/remove-sinh-primitive.patch -text
 tools/check-typo text eol=lf
 tools/check-symbol-names text eol=lf
 tools/msvs-promote-path text eol=lf
-tools/gdb-macros text eol=lf
+tools/gdb-macros text eol=lf linguist-language=GDB
 tools/magic text eol=lf
 tools/ocamlsize text eol=lf
 tools/pre-commit-githook text eol=lf
-runtime/caml/sizeclasses.h typo.missing-header typo.white-at-eol
+runtime/caml/sizeclasses.h typo.missing-header
 
 # Tests which include references spanning multiple lines fail with \r\n
 # endings, so use \n endings only, even on Windows.

.github/workflows/hygiene.yml

@@ -47,6 +47,20 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         if: github.event_name == 'pull_request'
 
+      - name: Parsetree updated
+        run: >-
+          tools/ci/actions/check-parsetree-modified.sh
+          '${{ github.event.pull_request.issue_url }}'
+          '${{ github.ref }}'
+          'pull_request'
+          '${{ github.event.pull_request.base.ref }}'
+          '${{ github.event.pull_request.base.sha }}'
+          '${{ github.event.pull_request.head.ref }}'
+          '${{ github.event.pull_request.head.sha }}'
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        if: github.event_name == 'pull_request'
+
       - name: configure correctly generated
         run: >-
           tools/ci/actions/check-configure.sh

.gitignore

@@ -38,7 +38,6 @@ _ocamltestd
 .merlin
 _build
 META
-.vscode
 
 # local to root directory
 
@@ -236,12 +235,14 @@ META
 /parsing/camlinternalMenhirLib.ml
 /parsing/camlinternalMenhirLib.mli
 
+/runtime/domain_state.inc
 /runtime/caml/jumptbl.h
 /runtime/caml/m.h
 /runtime/caml/s.h
 /runtime/primitives
-/runtime/primitives.new
+/runtime/primitives*.new
 /runtime/prims.c
+/runtime/caml/exec.h
 /runtime/caml/opnames.h
 /runtime/caml/version.h
 /runtime/ocamlrun
@@ -251,8 +252,6 @@ META
 /runtime/.gdb_history
 /runtime/build_config.h
 /runtime/sak
-/runtime/domain_state32.inc
-/runtime/domain_state64.inc
 
 /stdlib/camlheader
 /stdlib/target_camlheader
@@ -325,6 +324,7 @@ META
 
 /utils/config_boot.ml
 /utils/config_boot.mli
+/utils/config.common.ml
 /utils/config.generated.ml
 /utils/config_main.ml
 /utils/config_main.mli

.mailmap

@@ -116,6 +116,7 @@ Thomas Leonard <talex5@github>
 Adrien Nader <adrien-n@github>
 Sébastien Hinderer <shindere@github>
 Sébastien Hinderer <Sebastien.Hinderer@inria.fr>
+Sébastien Hinderer <seb@tarides.com>
 Gabriel Scherer <gasche@github>
 Immanuel Litzroth <sdev@mantis>
 Jacques Le Normand <rathereasy@github>