Building on odawa
(from windows-server-2022-amd64-ocaml-4.14.2)
2024-11-11 18:53.13 ---> using "b1ae2ad36af625524288c188f7e099c501706c4119a38e11e1b5610819652cec" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "ln -f /usr/bin/opam-dev.exe /usr/bin/opam.exe"))
2024-11-11 18:53.13 ---> using "4b57a7007c87218b9b3ddcf81f74c22338c638c8bcdfdaa01c2afa888290f021" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q eecf6d033c6c13a6bda9b445601ddcbaa09dd288"))
2024-11-11 18:53.13 ---> using "916fc88efba39c7529535e5586ef636983924e64382c926374941dfb70826c38" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
User configuration:
Updating ~\.bash_profile.
[NOTE] Make sure that ~\.bash_profile is well sourced in your ~/.bashrc.
Added 9 lines after line 1 in ~\.bash_profile.
2024-11-11 18:53.13 ---> using "7dff50a164197daeb211f43cc31c3b4201b1bd2d0c774a26d6925a430147bec7" from cache
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\Local\\opam\\download-cache")))
(network host)
(shell "opam switch create --repositories=default 'default' 'ocaml-base-compiler.4.14.2'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.2"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed arch-x86_64.1
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-mingw.1
-> retrieved flexdll.0.43 (cached)
-> retrieved ocaml-config.3 (cached)
-> installed flexdll.0.43
-> installed ocaml-options-vanilla.1
-> retrieved mingw-w64-shims.0.2.0 (cached)
-> installed conf-mingw-w64-gcc-x86_64.1
-> installed ocaml-env-mingw64.1
-> installed system-mingw.1
-> retrieved ocaml-base-compiler.4.14.2 (cached)
-> installed mingw-w64-shims.0.2.0
-> installed ocaml-base-compiler.4.14.2
-> installed ocaml-config.3
-> installed ocaml.4.14.2
Done.
# To update the current shell environment, run: eval $(opam env --switch=default)
2024-11-11 18:53.13 ---> using "ae60b92c2a5a4da67e8935d52ddeae392cd8745a47ba71ee33b6f19f5c2bd60f" from cache
/: (run (network host)
(shell "opam update --depexts"))
2024-11-11 18:53.13 ---> using "79f391d910b12f0453cbe8a949bb8e140683a166720331d05045e2d73e88ecc9" from cache
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\Local\\opam\\download-cache")))
(network host)
(shell "\
\nopam remove -y \"lambda.0.1.7\"\
\nopam install -vy \"lambda.0.1.7\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"lambda.0.1.7\" | grep -q '\"windows-server-2022-amd64-ocaml-4.14.2\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
Nothing to do.
[NOTE] lambda.0.1.7 is not installed.
The following actions will be performed:
=== install 6 packages
- install dune 3.16.1 [required by lambda]
- install lambda 0.1.7
- install menhir 20240715 [required by lambda]
- install menhirCST 20240715 [required by menhir]
- install menhirLib 20240715 [required by menhir]
- install menhirSdk 20240715 [required by menhir]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/15: [dune.3.16.1: extract]
Processing 2/15: [dune.3.16.1: extract] [lambda.0.1.7: http]
Processing 3/15: [dune.3.16.1: extract] [lambda.0.1.7: http] [menhir.20240715 + 3 others: extract]
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached)
Processing 3/15: [dune.3.16.1: extract] [lambda.0.1.7: http]
Processing 3/15: [dune.3.16.1: extract] [lambda.0.1.7: extract]
-> retrieved lambda.0.1.7 (https://github.com/dakk/lambda/archive/v0.1.7.tar.gz)
Processing 3/15: [dune.3.16.1: extract]
-> retrieved dune.3.16.1 (cached)
Processing 4/15: [dune: ocaml 31]
+ C:\Users\opam\AppData\Local\opam\default\bin\ocaml.exe "boot/bootstrap.ml" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune.3.16.1)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- .\.duneboot.exe -j 31
-
Processing 4/15: [dune: ./_boot/dune.exe build]
+ C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune.3.16.1\./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune.3.16.1)
-> compiled dune.3.16.1
-> installed dune.3.16.1
Processing 6/15: [menhirCST: dune build]
Processing 7/15: [menhirCST: dune build] [menhirLib: dune build]
Processing 8/15: [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "menhirCST" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\menhirCST.20240715)
-> compiled menhirCST.20240715
Processing 8/15: [menhirLib: dune build] [menhirSdk: dune build]
-> installed menhirCST.20240715
Processing 9/15: [menhirLib: dune build] [menhirSdk: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "menhirSdk" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\menhirSdk.20240715)
-> compiled menhirSdk.20240715
Processing 9/15: [menhirLib: dune build]
-> installed menhirSdk.20240715
Processing 10/15: [menhirLib: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "menhirLib" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\menhirLib.20240715)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20240715
-> installed menhirLib.20240715
Processing 12/15: [menhir: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "menhir" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\menhir.20240715)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check
- Read 99 sample input sentences and 99 error messages.
- Read 99 sample input sentences and 47 error messages.
- (cd _build/default && src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred)
- Grammar has 56 nonterminal symbols, among which 1 start symbols.
- Grammar has 37 terminal symbols.
- Grammar has 129 productions.
- Built an LR(0) automaton with 199 states.
- The grammar is not SLR(1) -- 7 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 308 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 50 states.
- Priority played a role in 0 of these states.
- 156 out of 308 states have a default reduction.
- 108 out of 308 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 39 out of 96 symbols keep track of their end position.
- The StackLang code contains 4113 instructions in 277 blocks.
- The StackLang code comprises 5 mutually recursive groups.
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml
- Read 99 sample input sentences and 47 error messages.
-> compiled menhir.20240715
-> installed menhir.20240715
Processing 14/15: [lambda: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "lambda" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\lambda.0.1.7)
- (cd _build/default && C:\Users\opam\AppData\Local\opam\default\bin\ocamlc.opt.exe -w -40 -g -bin-annot -I src/.lambda.objs/byte -intf-suffix .ml -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 && C:\Users\opam\AppData\Local\opam\default\bin\ocamlc.opt.exe -w -40 -g -bin-annot -I src/.lambda.objs/byte -intf-suffix .ml -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 && C:\Users\opam\AppData\Local\opam\default\bin\ocamlopt.opt.exe -w -40 -g -I src/.lambda.objs/byte -I src/.lambda.objs/native -intf-suffix .ml -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 && C:\Users\opam\AppData\Local\opam\default\bin\ocamlopt.opt.exe -w -40 -g -I src/.lambda.objs/byte -I src/.lambda.objs/native -intf-suffix .ml -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
Done.
# To update the current shell environment, run: eval $(opam env)
2024-11-11 18:55.03 ---> saved as "361035d17e2a1dd21eccd2f04e1d03858f28bbcb58b54f9312770675e9acc4db"
Job succeeded
Home|Differences with the last checks|Previous runs