Skip to content
build

changelog for 0.1.0.3 (#16) #76

Sign in to view logs

changelog for 0.1.0.3 (#16)

changelog for 0.1.0.3 (#16) #76

Triggered via push November 4, 2024 15:44
@lemasterolemastero
pushed 8a05516
main
Status Success
Total duration 3m 36s
Artifacts –

haskell.yml

on: push
agda2scala
3m 25s
agda2scala
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
agda2scala: src/Agda/Compiler/Scala/PrintScala3.hs#L32
Pattern match is redundant
agda2scala: src/Agda/Compiler/Scala/PrintScala2.hs#L35
Pattern match is redundant
agda2scala: src/Agda/Compiler/Scala/AgdaToScalaExpr.hs#L74
In the use of ‘head’
agda2scala: src/Agda/Compiler/Scala/AgdaToScalaExpr.hs#L110
Pattern match is redundant