Skip to content
build

rename after refactor to RustExpr - fix #46

Sign in to view logs

rename after refactor to RustExpr - fix

rename after refactor to RustExpr - fix #46

Triggered via push December 18, 2023 14:47
@lemasterolemastero
pushed fa7e834
rustexpr-split-prettyprint-parse
Status Failure
Total duration 1m 28s
Artifacts –

haskell.yml

on: push
agda2rust
1m 17s
agda2rust
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
agda2rust
Process completed with exit code 42.
agda2rust: src/Agda/Compiler/Rust/AgdaToRustExpr.hs#L59
In the use of ‘head’
agda2rust: src/Agda/Compiler/Rust/AgdaToRustExpr.hs#L88
Pattern match is redundant