Add --asm-node-reveal-depth #630
JasonGrosscoq-archlinux.yml
on: pull_request
Annotations
5 errors
|
archlinux
Process completed with exit code 2.
|
|
archlinux
Makefile.coq:818: src/CLI.v
|
|
archlinux
Makefile.coq:818: src/CLI.v
|
|
archlinux:
./src/CLI.v#L522
The following term contains unresolved implicit arguments:
([Arg.long_key "asm-node-reveal-depth"],
Arg.Custom (parse_string_and parse_nat) "ℕ",
["The depth of nodes to reveal in the assembly equivalence checker. Only relevant when --hints-file is specified. In most situations, this should not have to be changed. Defaults to " ++
show default_node_reveal_depth ++ "."])
More precisely:
- ?Show: Cannot infer the implicit parameter Show of show whose type is
"Show node_reveal_depth_opt" (no type class instance found).
|
|
archlinux-check-all
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ExtractionHaskell-archlinux
|
6.29 KB |
sha256:61d807fb97cf547d86ee3ed7978d944d2007f09a3a3bc0e865d3c6dbd02efda0
|
|
|
ExtractionOCaml-archlinux
|
5.86 KB |
sha256:23d7ad98a0cecc92c1096a82fa4b05f002c44b5a127cfd4c54757d88eceb5001
|
|
|
generated-files-archlinux
|
4.86 MB |
sha256:aa42dee0d6a31d744bde3d3aba5caa15827628159bc317dd93b582b7645346b1
|
|
|
timing-files-archlinux
|
1.93 MB |
sha256:0c3d8d92b7ff627cdffa321baccdc38c7605f9c9a2a5546ccd7c02f5cd0bcd55
|
|