misc. trace presentation fixes · GaloisInc/pate@47fb375

Triggered via pull request January 28, 2025 20:22

opened #463

dm/trace-cleanup

Status Failure

Total duration 38m 18s

Artifacts –

main.yml

on: pull_request

Matrix: build

2 errors and 10 warnings

Process completed with exit code 1.

Process completed with exit code 1.

The use of ‘~’ without TypeOperators

The use of ‘~’ without TypeOperators

Defined but not used: ‘storeQueued’

Defined but not used: ‘storeActions’

Defined but not used: ‘storeDesync’

The qualified import of ‘Compat.Aeson’ is redundant

The qualified import of ‘System.IO’ is redundant

The qualified import of ‘System.IO’ is redundant

The qualified import of ‘Prettyprinter’ is redundant

The use of ‘~’ without TypeOperators