Skip to content
build

changelog for 0.1.0.3 #75

Sign in to view logs

changelog for 0.1.0.3

changelog for 0.1.0.3 #75

Triggered via push November 4, 2024 14:37
@lemasterolemastero
pushed fb77ff4
cleanup-scala3
Status Success
Total duration 17m 13s
Artifacts –

haskell.yml

on: push
agda2scala
17m 4s
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