Skip to content

Instantly share code, notes, and snippets.

@mheiber
Created January 24, 2024 22:18
Show Gist options
  • Save mheiber/ffb2540474aff03e5d424526c631a555 to your computer and use it in GitHub Desktop.
Save mheiber/ffb2540474aff03e5d424526c631a555 to your computer and use it in GitHub Desktop.
Warning: we are not using the native binary ocamlc.opt because it is older than the bytecode binary boot/ocamlc; you should silence this warning by either removing ocamlc.opt or rebuilding it (or `touch`-ing it) if you want it used.
../../ocamlc.opt -nostdlib -I ../../stdlib ../../compilerlibs/ocamlcommon.cma \
-I ../../parsing -I ../../driver \
cross_reference_checker.ml -o cross-reference-checker
/Library/Developer/CommandLineTools/usr/bin/make -C src all
/Library/Developer/CommandLineTools/usr/bin/make html
../../runtime/ocamlrun ../tools/texquote2 < allfiles.etex > allfiles.texquote_error.tex
mv allfiles.texquote_error.tex allfiles.tex
../../runtime/ocamlrun ../tools/texquote2 < foreword.etex > foreword.texquote_error.tex
mv foreword.texquote_error.tex foreword.tex
(echo "% This file is generated from (ocamlc -warn-help)";\
echo "% according to a rule in manual/src/Makefile.";\
echo "% In particular, the reference to documentation sections";\
echo "% are inserted through the Makefile, which should be updated";\
echo "% when a new warning is documented.";\
echo "%";\
../../boot/ocamlrun ../../ocamlc -warn-help \
| LC_ALL=C sed -e 's/^ *\([0-9][0-9]*\) *\[\([a-z][a-z-]*\)\]\(.*\)/\\item[\1 "\2"] \3/' \
-e 's/^ *\([0-9A-Z][0-9]*\) *\([^]].*\)/\\item[\1] \2/'\
| sed -e 's/@/\\@/g' \
) >cmds/warnings-help.etex
for i in 52 57; do\
sed\
s'/\\item\[\('$i'[^]]*\)\]/\\item\[\1 (see \\ref{ss:warn'$i'})\]/'\
cmds/warnings-help.etex > cmds/warnings-help.etex.tmp;\
mv cmds/warnings-help.etex.tmp cmds/warnings-help.etex;\
done
/Library/Developer/CommandLineTools/usr/bin/make -C cmds etex-files
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false comp.etex -o comp_camltex.tex
../../../boot/ocamlrun ../../tools/transf < comp_camltex.tex > comp.transf_error.tex
mv comp.transf_error.tex comp.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < comp.gen.tex > comp.texquote_error.tex
mv comp.texquote_error.tex comp.tex
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false top.etex -o top_camltex.tex
../../../boot/ocamlrun ../../tools/transf < top_camltex.tex > top.transf_error.tex
mv top.transf_error.tex top.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < top.gen.tex > top.texquote_error.tex
mv top.texquote_error.tex top.tex
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false native.etex -o native_camltex.tex
../../../boot/ocamlrun ../../tools/transf < native_camltex.tex > native.transf_error.tex
mv native.transf_error.tex native.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < native.gen.tex > native.texquote_error.tex
mv native.texquote_error.tex native.tex
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false intf-c.etex -o intf-c_camltex.tex
../../../boot/ocamlrun ../../tools/transf < intf-c_camltex.tex > intf-c.transf_error.tex
mv intf-c.transf_error.tex intf-c.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < intf-c.gen.tex > intf-c.texquote_error.tex
mv intf-c.texquote_error.tex intf-c.tex
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false ocamldep.etex -o ocamldep_camltex.tex
../../../boot/ocamlrun ../../tools/transf < ocamldep_camltex.tex > ocamldep.transf_error.tex
mv ocamldep.transf_error.tex ocamldep.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < ocamldep.gen.tex > ocamldep.texquote_error.tex
mv ocamldep.texquote_error.tex ocamldep.tex
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false ocamldoc.etex -o ocamldoc_camltex.tex
../../../boot/ocamlrun ../../tools/transf < ocamldoc_camltex.tex > ocamldoc.transf_error.tex
mv ocamldoc.transf_error.tex ocamldoc.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < ocamldoc.gen.tex > ocamldoc.texquote_error.tex
mv ocamldoc.texquote_error.tex ocamldoc.tex
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false warnings-help.etex -o warnings-help_camltex.tex
../../../boot/ocamlrun ../../tools/transf < warnings-help_camltex.tex > warnings-help.transf_error.tex
mv warnings-help.transf_error.tex warnings-help.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < warnings-help.gen.tex > warnings-help.texquote_error.tex
mv warnings-help.texquote_error.tex warnings-help.tex
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false tail-mod-cons.etex -o tail-mod-cons_camltex.tex
../../../boot/ocamlrun ../../tools/transf < tail-mod-cons_camltex.tex > tail-mod-cons.transf_error.tex
mv tail-mod-cons.transf_error.tex tail-mod-cons.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < tail-mod-cons.gen.tex > tail-mod-cons.texquote_error.tex
mv tail-mod-cons.texquote_error.tex tail-mod-cons.tex
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false runtime-tracing.etex -o runtime-tracing_camltex.tex
../../../boot/ocamlrun ../../tools/transf < runtime-tracing_camltex.tex > runtime-tracing.transf_error.tex
mv runtime-tracing.transf_error.tex runtime-tracing.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < runtime-tracing.gen.tex > runtime-tracing.texquote_error.tex
mv runtime-tracing.texquote_error.tex runtime-tracing.tex
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false unified-options.etex -o unified-options_camltex.tex
../../../boot/ocamlrun ../../tools/transf < unified-options_camltex.tex > unified-options.transf_error.tex
mv unified-options.transf_error.tex unified-options.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < unified-options.gen.tex > unified-options.texquote_error.tex
mv unified-options.texquote_error.tex unified-options.tex
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false tsan.etex -o tsan_camltex.tex
../../../boot/ocamlrun ../../tools/transf < tsan_camltex.tex > tsan.transf_error.tex
mv tsan.transf_error.tex tsan.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < tsan.gen.tex > tsan.texquote_error.tex
mv tsan.texquote_error.tex tsan.tex
rm intf-c.gen.tex ocamldoc.gen.tex tail-mod-cons.gen.tex warnings-help.gen.tex unified-options.gen.tex ocamldep.gen.tex native.gen.tex runtime-tracing.gen.tex comp.gen.tex top.gen.tex tsan.gen.tex
/Library/Developer/CommandLineTools/usr/bin/make -C library etex-files
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false stdlib-blurb.etex -o stdlib-blurb.gen.tex
../../../runtime/ocamlrun ../../tools/texquote2 < stdlib-blurb.gen.tex > stdlib-blurb.texquote_error.tex
mv stdlib-blurb.texquote_error.tex stdlib-blurb.tex
rm stdlib-blurb.gen.tex
/Library/Developer/CommandLineTools/usr/bin/make -C refman etex-files
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false extensions/signaturesubstitution.etex -o extensions/signaturesubstitution_camltex.tex
../../../boot/ocamlrun ../../tools/transf < extensions/signaturesubstitution_camltex.tex > extensions/signaturesubstitution.transf_error.tex
mv extensions/signaturesubstitution.transf_error.tex extensions/signaturesubstitution.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < extensions/signaturesubstitution.gen.tex > extensions/signaturesubstitution.texquote_error.tex
mv extensions/signaturesubstitution.texquote_error.tex extensions/signaturesubstitution.tex
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false extensions/privatetypes.etex -o extensions/privatetypes_camltex.tex
../../../boot/ocamlrun ../../tools/transf < extensions/privatetypes_camltex.tex > extensions/privatetypes.transf_error.tex
mv extensions/privatetypes.transf_error.tex extensions/privatetypes.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < extensions/privatetypes.gen.tex > extensions/privatetypes.texquote_error.tex
mv extensions/privatetypes.texquote_error.tex extensions/privatetypes.tex
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false extensions/effects.etex -o extensions/effects_camltex.tex
../../../boot/ocamlrun ../../tools/transf < extensions/effects_camltex.tex > extensions/effects.transf_error.tex
mv extensions/effects.transf_error.tex extensions/effects.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < extensions/effects.gen.tex > extensions/effects.texquote_error.tex
mv extensions/effects.texquote_error.tex extensions/effects.tex
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false lex.etex -o lex_camltex.tex
../../../boot/ocamlrun ../../tools/transf < lex_camltex.tex > lex.transf_error.tex
mv lex.transf_error.tex lex.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < lex.gen.tex > lex.texquote_error.tex
mv lex.texquote_error.tex lex.tex
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false expr.etex -o expr_camltex.tex
../../../boot/ocamlrun ../../tools/transf < expr_camltex.tex > expr.transf_error.tex
mv expr.transf_error.tex expr.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < expr.gen.tex > expr.texquote_error.tex
mv expr.texquote_error.tex expr.tex
rm extensions/privatetypes.gen.tex extensions/effects.gen.tex lex.gen.tex expr.gen.tex extensions/signaturesubstitution.gen.tex
/Library/Developer/CommandLineTools/usr/bin/make -C tutorials etex-files
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false coreexamples.etex -o coreexamples.gen.tex
../../../boot/ocamlrun ../../tools/texquote2 < coreexamples.gen.tex > coreexamples.texquote_error.tex
mv coreexamples.texquote_error.tex coreexamples.tex
../../../boot/ocamlrun -I ../../../otherlibs/str -I ../../../otherlibs/unix ../../../tools/ocamltex -repo-root ../../.. -n 80 -v false gadtexamples.etex -o gadtexamples.gen.tex
Error when evaluating a caml_example environment in gadtexamples.etex, lines 283 to 290:
"
type _ ty =
| Int : int ty
| Pair : 'b ty * 'c ty -> ('b * 'c) ty
let rec default : type a. a ty -> a = function
| Int -> 0
| Pair (type b c) (b, c : b ty * c ty) ->
(default b : b), (default c : c)
"
"
Error: This pattern matches values of type b ty * c ty
but a pattern was expected which matches values of type $0 ty * $1 ty
Type b is not compatible with type $0
".
Unexpected error status.
If an error status was expected, add an [@expect error] annotation.
make[3]: *** [gadtexamples.gen.tex] Error 1
rm gadtexamples.gen.tex coreexamples.gen.tex
make[2]: *** [etex-files] Error 2
make[1]: *** [all] Error 2
make: *** [manual] Error 2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment