fix inconsistent navigation state after making choice #1137
Annotations
33 warnings
|
Build Pate:
src/Pate/Discovery/PLT.hs#L62
The use of ‘~’ without TypeOperators
|
|
Build Pate:
src/Pate/Discovery/PLT.hs#L116
The use of ‘~’ without TypeOperators
|
|
Build Pate:
src/Pate/IOReplay.hs#L76
Defined but not used: ‘storeQueued’
|
|
Build Pate:
src/Pate/IOReplay.hs#L76
Defined but not used: ‘storeActions’
|
|
Build Pate:
src/Pate/IOReplay.hs#L76
Defined but not used: ‘storeDesync’
|
|
Build Pate:
src/Pate/TraceTree.hs#L153
The qualified import of ‘Compat.Aeson’ is redundant
|
|
Build Pate:
src/Pate/TraceTree.hs#L164
The qualified import of ‘System.IO’ is redundant
|
|
Build Pate:
src/Pate/Script.hs#L96
The qualified import of ‘System.IO’ is redundant
|
|
Build Pate:
src/Pate/Script.hs#L97
The qualified import of ‘Prettyprinter’ is redundant
|
|
Build Pate:
src/Pate/Verification/Override.hs#L37
The use of ‘~’ without TypeOperators
|
|
Docs:
src/Pate/Discovery/PLT.hs#L62
The use of ‘~’ without TypeOperators
|
|
Docs:
src/Pate/Discovery/PLT.hs#L116
The use of ‘~’ without TypeOperators
|
|
Docs:
src/Pate/IOReplay.hs#L76
Defined but not used: ‘storeQueued’
|
|
Docs:
src/Pate/IOReplay.hs#L76
Defined but not used: ‘storeActions’
|
|
Docs:
src/Pate/IOReplay.hs#L76
Defined but not used: ‘storeDesync’
|
|
Docs:
src/Pate/TraceTree.hs#L153
The qualified import of ‘Compat.Aeson’ is redundant
|
|
Docs:
src/Pate/TraceTree.hs#L164
The qualified import of ‘System.IO’ is redundant
|
|
Docs:
src/Pate/Script.hs#L96
The qualified import of ‘System.IO’ is redundant
|
|
Docs:
src/Pate/Script.hs#L97
The qualified import of ‘Prettyprinter’ is redundant
|
|
Docs:
src/Pate/Verification/Override.hs#L37
The use of ‘~’ without TypeOperators
|
|
Configure and build Pate dependencies
The import of ‘Demangler.Context’ is redundant
|
|
Configure and build Pate dependencies
Defined but not used: ‘closure_prefix’
|
|
Configure and build Pate dependencies
The import of ‘Demangler.Context’ is redundant
|
|
Configure and build Pate dependencies
Defined but not used: ‘closure_prefix’
|
|
Configure and build Pate dependencies
The import of ‘Control.Applicative’ is redundant
|
|
Configure and build Pate dependencies
The import of ‘Control.Applicative’ is redundant
|
|
Configure and build Pate dependencies
The import of ‘+, <=’
|
|
Configure and build Pate dependencies
• No explicit implementation for
|
|
Configure and build Pate dependencies
Unhandled instruction definitions for ISA: 18
|
|
Configure and build Pate dependencies
Unhandled instruction definitions for ISA: 18
|
|
Restore Build Cache
Cache not found for keys: 5-pate-build-Linux-9.6.2-c905171fd5da2e6d33cd1aada340b61f5b45f57085844f5c25e681fd2478dac0, 5-pate-build-Linux-9.6.2-
|
|
Restore Cabal Cache
Cache not found for keys: 5-pate-cabal-Linux-9.6.2-1033eb86e66f7e9a5b6dc3d7dc1af239530e14b6d1f885ad799a95f1e0e372f0, 5-pate-cabal-Linux-9.6.2-
|
|
Restore GHCup
Cache not found for keys: 5-pate-ghcup-Linux-9.6.2
|
Loading