Build:
- 0
2026-06-20 17:00.30: New job: build lambda.0.1.7 (d1a050165853) 2026-06-20 17:00.30: Waiting for resource in pool day11-builds 2026-06-20 18:32.03: Got resource from pool day11-builds 2026-06-20 18:32.03: [profile full] build lambda.0.1.7 2026-06-20 18:32.03: build lambda.0.1.7 (d1a050165853) === DEPENDENCIES (12 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d compiler-cloning.enabled 0d2606125f88 dune.3.23.1 dbfeecb5ca10 menhir.20260209 5f76d1d3722e menhirCST.20260209 b9f719ef3696 menhirGLR.20260209 e70329f7f267 menhirLib.20260209 c73d74bf4444 menhirSdk.20260209 d70f00a72002 ocaml.5.5.0 1b4132bddf48 ocaml-base-compiler.5.5.0 1901c3a760c1 ocaml-compiler.5.5.0 5f593a0b4a8c === 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 -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/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -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/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-06-20 18:32.16: OK: build lambda.0.1.7 (runc: 3.1s, disk: 12KB) 2026-06-20 18:32.16: Job succeeded