Skip to content
CI

Fix pretty printer for semantic types #707

Sign in to view logs

Fix pretty printer for semantic types

Fix pretty printer for semantic types #707

Triggered via pull request November 7, 2025 13:54
@nikolaushubernikolaushuber
opened #317
nikolaushuber:fix-semtype-print
Status Success
Total duration 15m 55s
Artifacts 3

ci.yml

on: pull_request
Ubuntu / Stack / test
9m 14s
Ubuntu / Stack / test
Matrix: mac-cabal-test
Matrix: ubuntu-cabal-test
Matrix: windows-cabal-test
Fit to window
Zoom out
Zoom in

Annotations

50 warnings
Ubuntu / GHC 9.4, Cabal / test: src/Language/Fortran/Repr/Type/Scalar.hs#L40
Defined but not used: ‘t’
Ubuntu / GHC 9.4, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L21
Orphan instance: instance Out Natural
Ubuntu / GHC 9.4, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L20
Orphan instance: instance Out Int64
Ubuntu / GHC 9.4, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L19
Orphan instance: instance Out Int32
Ubuntu / GHC 9.4, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L18
Orphan instance: instance Out Int16
Ubuntu / GHC 9.4, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L17
Orphan instance: instance Out Int8
Ubuntu / GHC 9.4, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L15
Orphan instance: instance Out Text
Ubuntu / GHC 9.4, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L10
The qualified import of ‘Data.Text’ is redundant
Ubuntu / GHC 9.4, Cabal / test: src/Language/Fortran/Analysis/SemanticTypes.hs#L83
This binding for ‘v’ shadows the existing binding
Ubuntu / GHC 9.4, Cabal / test: src/Language/Fortran/Rewriter/Internal.hs#L303
Top-level binding with no type signature:
Ubuntu / GHC 9.2, Cabal / test: src/Language/Fortran/Repr/Type/Scalar.hs#L40
Defined but not used: ‘t’
Ubuntu / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L21
Orphan instance: instance Out Natural
Ubuntu / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L20
Orphan instance: instance Out Int64
Ubuntu / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L19
Orphan instance: instance Out Int32
Ubuntu / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L18
Orphan instance: instance Out Int16
Ubuntu / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L17
Orphan instance: instance Out Int8
Ubuntu / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L15
Orphan instance: instance Out Text
Ubuntu / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L10
The qualified import of ‘Data.Text’ is redundant
Ubuntu / GHC 9.2, Cabal / test: src/Language/Fortran/Analysis/SemanticTypes.hs#L83
This binding for ‘v’ shadows the existing binding
Ubuntu / GHC 9.2, Cabal / test: src/Language/Fortran/Rewriter/Internal.hs#L303
Top-level binding with no type signature:
Ubuntu / GHC 9.0, Cabal / test: src/Language/Fortran/Repr/Type/Scalar.hs#L40
Defined but not used: ‘t’
Ubuntu / GHC 9.0, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L21
Orphan instance: instance Out Natural
Ubuntu / GHC 9.0, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L20
Orphan instance: instance Out Int64
Ubuntu / GHC 9.0, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L19
Orphan instance: instance Out Int32
Ubuntu / GHC 9.0, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L18
Orphan instance: instance Out Int16
Ubuntu / GHC 9.0, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L17
Orphan instance: instance Out Int8
Ubuntu / GHC 9.0, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L15
Orphan instance: instance Out Text
Ubuntu / GHC 9.0, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L10
The qualified import of ‘Data.Text’ is redundant
Ubuntu / GHC 9.0, Cabal / test: src/Language/Fortran/Analysis/SemanticTypes.hs#L83
This binding for ‘v’ shadows the existing binding
Ubuntu / GHC 9.0, Cabal / test: src/Language/Fortran/Rewriter/Internal.hs#L303
Top-level binding with no type signature:
Windows / GHC 9.2, Cabal / test: src/Language/Fortran/Repr/Type/Scalar.hs#L40
Defined but not used: ‘t’
Windows / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L21
Orphan instance: instance Out Natural
Windows / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L20
Orphan instance: instance Out Int64
Windows / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L19
Orphan instance: instance Out Int32
Windows / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L18
Orphan instance: instance Out Int16
Windows / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L17
Orphan instance: instance Out Int8
Windows / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L15
Orphan instance: instance Out Text
Windows / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L10
The qualified import of ‘Data.Text’ is redundant
Windows / GHC 9.2, Cabal / test: src/Language/Fortran/Analysis/SemanticTypes.hs#L83
This binding for ‘v’ shadows the existing binding
Windows / GHC 9.2, Cabal / test: src/Language/Fortran/Rewriter/Internal.hs#L303
Top-level binding with no type signature:
Mac / GHC 9.2, Cabal / test: src/Language/Fortran/Repr/Type/Scalar.hs#L40
Defined but not used: ‘t’
Mac / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L21
Orphan instance: instance Out Natural
Mac / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L20
Orphan instance: instance Out Int64
Mac / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L19
Orphan instance: instance Out Int32
Mac / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L18
Orphan instance: instance Out Int16
Mac / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L17
Orphan instance: instance Out Int8
Mac / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L15
Orphan instance: instance Out Text
Mac / GHC 9.2, Cabal / test: src/Text/PrettyPrint/GenericPretty/Orphans.hs#L10
The qualified import of ‘Data.Text’ is redundant
Mac / GHC 9.2, Cabal / test: src/Language/Fortran/Analysis/SemanticTypes.hs#L83
This binding for ‘v’ shadows the existing binding
Mac / GHC 9.2, Cabal / test: src/Language/Fortran/Rewriter/Internal.hs#L303
Top-level binding with no type signature:

Artifacts

Produced during runtime
Name Size Digest
fortran-src-macos-ghc-9.2-cabal-3b1c89906239a615e48e6150c524c1f49b5ef14d
10.3 MB
sha256:a2233c5a11bf4aaab52ae86085cb8536b4d2ce3ad397948b8b1c8293f3535f16
fortran-src-ubuntu-stack-3b1c89906239a615e48e6150c524c1f49b5ef14d
2.91 MB
sha256:1d5628f4d1519687614fac923a0a965f64e9173bfe0280cea1f4653bc3955533
fortran-src-windows-ghc-9.2-cabal-3b1c89906239a615e48e6150c524c1f49b5ef14d.exe
8.49 MB
sha256:bda5f4dac30c26821def40faeea3eab56fbb4e4275c1b1bc419ac63dc99e0970