Build:
- 0
2026-06-24 13:54.50: New job: build lambda.0.1.7 (c2a8b87746d2) 2026-06-24 13:54.50: Waiting for resource in pool day11-builds 2026-06-24 14:14.01: Got resource from pool day11-builds 2026-06-24 14:14.01: [profile full] build lambda.0.1.7 2026-06-24 14:14.01: build lambda.0.1.7 (c2a8b87746d2) === DEPENDENCIES (12 transitive) === base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb compiler-cloning.enabled 439a1fc77aa6 dune.3.23.1 a59dd9b14fe3 menhir.20260209 2dfcdff6beb1 menhirCST.20260209 ca14cdeaa1bc menhirGLR.20260209 5ba1fed6b7bb menhirLib.20260209 93342fcbef2d menhirSdk.20260209 28fda6618c58 ocaml.5.5.0 383268832c4b ocaml-base-compiler.5.5.0 522c248944c8 ocaml-compiler.5.5.0 eb1a8babf54c === 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__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 -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-06-24 14:14.11: OK: build lambda.0.1.7 (runc: 3.6s, disk: 12KB) 2026-06-24 14:14.11: Job succeeded