Skip to content
build

handle package and object for scala3 #71

Sign in to view logs

handle package and object for scala3

handle package and object for scala3 #71

Triggered via push November 4, 2024 14:07
@lemasterolemastero
pushed 89b3f8a
scala3-support
Status Failure
Total duration 2m 52s
Artifacts –

haskell.yml

on: push
agda2scala
2m 41s
agda2scala
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
agda2scala
Process completed with exit code 1.
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