user manual: trace constraints #1012
Annotations
2 errors and 13 warnings
|
The run was canceled by @danmatichuk.
|
|
|
|
|
|
src/Pate/Discovery/PLT.hs#L62
The use of ‘~’ without TypeOperators
|
|
src/Pate/Discovery/PLT.hs#L116
The use of ‘~’ without TypeOperators
|
|
src/Pate/IOReplay.hs#L76
Defined but not used: ‘storeQueued’
|
|
src/Pate/IOReplay.hs#L76
Defined but not used: ‘storeActions’
|
|
src/Pate/IOReplay.hs#L76
Defined but not used: ‘storeDesync’
|
|
src/Pate/TraceTree.hs#L150
The qualified import of ‘Compat.Aeson’ is redundant
|
|
src/Pate/TraceTree.hs#L161
The qualified import of ‘System.IO’ is redundant
|
|
src/Pate/Script.hs#L96
The qualified import of ‘System.IO’ is redundant
|
|
src/Pate/Script.hs#L97
The qualified import of ‘Prettyprinter’ is redundant
|
|
src/Pate/Verification/Override.hs#L37
The use of ‘~’ without TypeOperators
|
|
|
|
|
This job was cancelled
Loading