Merge pull request #10740 from gasche/tmc-manual-pr

Tail-modulo-cons manual chapter (cherry picked from commit a1afb31)
ocaml · Mar 8, 2022 · 5af2478 · 5af2478
1 parent 25478af
commit 5af2478
Show file tree

Hide file tree

Showing 9 changed files with 573 additions and 34 deletions.
diff --git a/Changes b/Changes
@@ -14,7 +14,7 @@ OCaml 4.14.0
   Allow 'object ... end # f', 'f object ... end', etc.
   (Yan Dong, review by Nicolás Ojeda Bär, Florian Angeletti and Gabriel Scherer)
 
-- #181, #9760: opt-in tail-modulo-cons (TMC) transformation
+- #181, #9760, #10740: opt-in tail-modulo-cons (TMC) transformation
     let[@tail_mod_cons] rec map f li = ...
   (Frédéric Bour, Gabriel Scherer, Basile Clément,
    review by Basile Clément and Pierre Chambart,

diff --git a/manual/src/allfiles.etex b/manual/src/allfiles.etex
@@ -71,6 +71,7 @@ and as a
 \input{flambda.tex}
 \input{afl-fuzz.tex}
 \input{instrumented-runtime.tex}
+\input{tail-mod-cons.tex}
 
 \part{The OCaml library}
 \label{p:library}

diff --git a/manual/src/cmds/Makefile b/manual/src/cmds/Makefile
@@ -11,7 +11,7 @@ TRANSF = $(OCAMLRUN) $(TOOLS)/transf
 
 FILES = comp.tex top.tex runtime.tex native.tex lexyacc.tex intf-c.tex \
   ocamldep.tex profil.tex debugger.tex ocamldoc.tex \
-  warnings-help.tex flambda.tex \
+  warnings-help.tex flambda.tex tail-mod-cons.tex \
   afl-fuzz.tex instrumented-runtime.tex unified-options.tex
 
 etex-files: $(FILES)