Skip to content
build

fix print scala3 tests #73

Sign in to view logs

fix print scala3 tests

fix print scala3 tests #73

Triggered via push November 4, 2024 14:21
@lemasterolemastero
pushed 38311d5
scala3-support
Status Success
Total duration 3m 25s
Artifacts –

haskell.yml

on: push
agda2scala
3m 16s
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