Skip to content
build

proper function return type; rename to be more in-line with Rust nami… #40

Sign in to view logs

proper function return type; rename to be more in-line with Rust nami…

proper function return type; rename to be more in-line with Rust nami… #40

Triggered via push December 18, 2023 01:11
@lemasterolemastero
pushed e8885b0
one-arg-id
Status Failure
Total duration 1m 5s
Artifacts –

haskell.yml

on: push
agda2rust
56s
agda2rust
Fit to window
Zoom out
Zoom in

Annotations

1 error and 5 warnings
agda2rust
Process completed with exit code 42.
agda2rust: src/Agda/Compiler/Rust/ToRustCompiler.hs#L66
In the use of ‘head’
agda2rust: src/Agda/Compiler/Rust/ToRustCompiler.hs#L68
In the use of ‘head’
agda2rust: src/Agda/Compiler/Rust/ToRustCompiler.hs#L69
In the use of ‘head’
agda2rust: src/Agda/Compiler/Rust/ToRustCompiler.hs#L84
In the use of ‘head’
agda2rust: src/Agda/Compiler/Rust/ToRustCompiler.hs#L110
Pattern match is redundant