Build:
- 0
2026-09-28 15:53.41: New job: build lambda.0.1.7 (949f824dbf3a) 2026-09-28 15:53.41: Waiting for resource in pool day11-builds 2026-09-28 15:57.05: Got resource from pool day11-builds 2026-09-28 15:57.05: [profile oxcaml-odoc-master] build lambda.0.1.7 2026-09-28 15:57.05: build lambda.0.1.7 (949f824dbf3a) === DEPENDENCIES (13 transitive) === base-threads.base ddcab511c589 base-unix.base 742554e1dbc2 conf-autoconf.1 43fe4a407b7a conf-which.1 5fccb3a41099 dune.3.22.2+ox 057b1ed5957b menhir.20250912 455eef6e32db menhirCST.20250912 2663825e4a20 menhirLib.20250912 6f6d69b7de0c menhirSdk.20250912 26c8cc32d56f ocaml.5.4.0 74a2c67841c6 ocaml-config.3 d58db97ddfef ocaml-variants.5.4.0+ox 4babdc19da91 oxcaml-compiler.5.4.0-ox7 42053eeff39a === STDOUT === Processing: [default: loading data] [lambda.0.1.7: dl] [lambda.0.1.7: extract] -> retrieved lambda.0.1.7 (https://opam.ocaml.org/cache) [lambda: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "lambda" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/lambda.0.1.7) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -bin-annot-cms -I src/.lambda.objs/byte -cmi-file src/.lambda.objs/byte/lambda__Church.cmi -no-alias-deps -open Lambda -o src/.lambda.objs/byte/lambda__Church.cmo -c -impl src/church.ml) - File "src/church.ml", lines 19-22, characters 21-20: - 19 | .....................match t with - 20 | App(Var f, inner) -> App(Var "f", convin inner) - 21 | | App(Var f, Var x) -> App(Var "f", Var "x") - 22 | | Var x -> Var "x" - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - App ((Abs _|App (_, _)), _) - - File "src/church.ml", line 21, characters 4-21: - 21 | | App(Var f, Var x) -> App(Var "f", Var "x") - ^^^^^^^^^^^^^^^^^ - Warning 11 [redundant-case]: this match case is unused. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -bin-annot-cms -I src/.lambda.objs/byte -cmi-file src/.lambda.objs/byte/lambda__L.cmi -no-alias-deps -open Lambda -o src/.lambda.objs/byte/lambda__L.cmo -c -impl src/l.ml) - File "src/l.ml", lines 72-78, characters 23-64: - 72 | .......................match t with - 73 | Var y -> if x=y then t' else Var y - 74 | | App(t0,t1) -> App(subst x t' t0, subst x t' t1) - 75 | | Abs(y,t0) when y=x -> Abs(x,t0) - 76 | | Abs(y,t0) when y!=x && not (member y (fv t')) -> Abs(y, subst x t' t0) - 77 | | Abs(y,t0) when y!=x && member y (fv t') -> - 78 | let z = gensym() in Abs(z,subst x t' (subst z (Var y) t0)).. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Abs _ - (However, some guarded clause may match this value.) - - File "src/l.ml", lines 104-107, characters 53-81: - 104 | .....................................................match t with - 105 | Abs(x,t') -> Abs(x,reduce1 t') - 106 | | App(Abs(x,t0),t1) -> subst x t1 t0 - 107 | | App(t0,t1) -> if has_redex t0 then App(reduce1 t0,t1) else App(t0,reduce1 t1).. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Var _ - - File "src/l.ml", lines 122-128, characters 51-78: - 122 | ...................................................match t with - 123 | Var y -> if x=y then t' else Var y - 124 | | App(t0,t1) -> App(subst' x t' t0 (n'-1), subst' x t' t1 (n'-1)) - 125 | | Abs(y,t0) when y=x -> Abs(x,t0) - 126 | | Abs(y,t0) when y!=x && not (member y (fv t')) -> Abs(y, subst' x t' t0 (n'-1)) - 127 | | Abs(y,t0) when y!=x && member y (fv t') -> - 128 | let z = gensym() in Abs(z,subst' x t' (subst' z (Var y) t0 (n'-1)) (n'-1)) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Abs _ - (However, some guarded clause may match this value.) - - File "src/l.ml", lines 130-133, characters 69-97: - 130 | .....................................................................match t with - 131 | Abs(x,t') -> Abs(x,reduce1' t' (n'-1)) - 132 | | App(Abs(x,t0),t1) -> subst' x t1 t0 (n'-1) - 133 | | App(t0,t1) -> if has_redex t0 then App(reduce1' t0 (n'-1),t1) else App(t0,reduce1' t1 (n'-1)) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Var _ - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.lambda.objs/byte -I src/.lambda.objs/native -cmi-file src/.lambda.objs/byte/lambda__L.cmi -no-alias-deps -open Lambda -o src/.lambda.objs/native/lambda__L.cmx -c -impl src/l.ml) - File "src/l.ml", lines 72-78, characters 23-64: - 72 | .......................match t with - 73 | Var y -> if x=y then t' else Var y - 74 | | App(t0,t1) -> App(subst x t' t0, subst x t' t1) - 75 | | Abs(y,t0) when y=x -> Abs(x,t0) - 76 | | Abs(y,t0) when y!=x && not (member y (fv t')) -> Abs(y, subst x t' t0) - 77 | | Abs(y,t0) when y!=x && member y (fv t') -> - 78 | let z = gensym() in Abs(z,subst x t' (subst z (Var y) t0)).. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Abs _ - (However, some guarded clause may match this value.) - - File "src/l.ml", lines 104-107, characters 53-81: - 104 | .....................................................match t with - 105 | Abs(x,t') -> Abs(x,reduce1 t') - 106 | | App(Abs(x,t0),t1) -> subst x t1 t0 - 107 | | App(t0,t1) -> if has_redex t0 then App(reduce1 t0,t1) else App(t0,reduce1 t1).. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Var _ - - File "src/l.ml", lines 122-128, characters 51-78: - 122 | ...................................................match t with - 123 | Var y -> if x=y then t' else Var y - 124 | | App(t0,t1) -> App(subst' x t' t0 (n'-1), subst' x t' t1 (n'-1)) - 125 | | Abs(y,t0) when y=x -> Abs(x,t0) - 126 | | Abs(y,t0) when y!=x && not (member y (fv t')) -> Abs(y, subst' x t' t0 (n'-1)) - 127 | | Abs(y,t0) when y!=x && member y (fv t') -> - 128 | let z = gensym() in Abs(z,subst' x t' (subst' z (Var y) t0 (n'-1)) (n'-1)) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Abs _ - (However, some guarded clause may match this value.) - - File "src/l.ml", lines 130-133, characters 69-97: - 130 | .....................................................................match t with - 131 | Abs(x,t') -> Abs(x,reduce1' t' (n'-1)) - 132 | | App(Abs(x,t0),t1) -> subst' x t1 t0 (n'-1) - 133 | | App(t0,t1) -> if has_redex t0 then App(reduce1' t0 (n'-1),t1) else App(t0,reduce1' t1 (n'-1)) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: Var _ - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.lambda.objs/byte -I src/.lambda.objs/native -cmi-file src/.lambda.objs/byte/lambda__Church.cmi -no-alias-deps -open Lambda -o src/.lambda.objs/native/lambda__Church.cmx -c -impl src/church.ml) - File "src/church.ml", lines 19-22, characters 21-20: - 19 | .....................match t with - 20 | App(Var f, inner) -> App(Var "f", convin inner) - 21 | | App(Var f, Var x) -> App(Var "f", Var "x") - 22 | | Var x -> Var "x" - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - App ((Abs _|App (_, _)), _) - - File "src/church.ml", line 21, characters 4-21: - 21 | | App(Var f, Var x) -> App(Var "f", Var "x") - ^^^^^^^^^^^^^^^^^ - Warning 11 [redundant-case]: this match case is unused. -> compiled lambda.0.1.7 -> installed lambda.0.1.7 === STDERR === 2026-09-28 15:57.36: OK: build lambda.0.1.7 (runc: 6.1s, disk: 12KB) 2026-09-28 15:57.36: Job succeeded