Merge pull request #20 from CTSRD-CHERI/github-ci #12
PeterRugghaskell.yml
on: push
Run HLint on the QuickCheck Verification Engine codebase
11s
Build the QuickCheck Verification Engine
2m 44s
Annotations
20 warnings
|
Run HLint on the QuickCheck Verification Engine codebase:
src/InstrCodec.hs#L36
Warning in module InstrCodec: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE MultiParamTypeClasses #-}" ▫︎ Note: may require `{-# LANGUAGE ConstrainedClassMethods #-}` adding to the top of the file Extension MultiParamTypeClasses is implied by FunctionalDependencies
|
|
Run HLint on the QuickCheck Verification Engine codebase:
src/QuickCheckVEngine/Main.hs#L270
Suggestion in allTests in module Main: Collapse lambdas ▫︎ Found: "\\ k p -> (\\ x -> p x && k x)" ▫︎ Perhaps: "\\ k p x -> p x && k x"
|
|
Run HLint on the QuickCheck Verification Engine codebase:
src/QuickCheckVEngine/Main.hs#L279
Suggestion in main in module Main: Move brackets to avoid $ ▫︎ Found: "(str =~ (fromMaybe \".*\" incReg))\n && (not $ str =~ (fromMaybe \"a^\" excReg))" ▫︎ Perhaps: "(str =~ (fromMaybe \".*\" incReg))\n && not (str =~ (fromMaybe \"a^\" excReg))"
|
|
Run HLint on the QuickCheck Verification Engine codebase:
src/QuickCheckVEngine/Main.hs#L279
Suggestion in main in module Main: Redundant bracket ▫︎ Found: "str =~ (fromMaybe \".*\" incReg)" ▫︎ Perhaps: "str =~ fromMaybe \".*\" incReg"
|
|
Run HLint on the QuickCheck Verification Engine codebase:
src/QuickCheckVEngine/Main.hs#L279
Suggestion in main in module Main: Redundant bracket ▫︎ Found: "str =~ (fromMaybe \"a^\" excReg)" ▫︎ Perhaps: "str =~ fromMaybe \"a^\" excReg"
|
|
Run HLint on the QuickCheck Verification Engine codebase:
src/QuickCheckVEngine/Main.hs#L297
Suggestion in main in module Main: Redundant bracket ▫︎ Found: "(filterTest p trace) <> wrapTest testSuffix" ▫︎ Perhaps: "filterTest p trace <> wrapTest testSuffix"
|
|
Run HLint on the QuickCheck Verification Engine codebase:
src/QuickCheckVEngine/Main.hs#L316
Warning in main in module Main: Use unless ▫︎ Found: "when (not $ null fileName)" ▫︎ Perhaps: "unless (null fileName)"
|
|
Run HLint on the QuickCheck Verification Engine codebase:
src/QuickCheckVEngine/Main.hs#L348
Suggestion in main in module Main: Use section ▫︎ Found: "((+) 1)" ▫︎ Perhaps: "(1 +)"
|
|
Run HLint on the QuickCheck Verification Engine codebase:
src/QuickCheckVEngine/Main.hs#L349
Warning in main in module Main: Use unless ▫︎ Found: "when (not (optContinueOnFail flags))" ▫︎ Perhaps: "unless (optContinueOnFail flags)"
|
|
Run HLint on the QuickCheck Verification Engine codebase:
src/QuickCheckVEngine/Main.hs#L356
Suggestion in main in module Main: Use section ▫︎ Found: "((+) 1)" ▫︎ Perhaps: "(1 +)"
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L153
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L154
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L154
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L155
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L155
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L156
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L156
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L157
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L157
In the use of ‘head’
|
|
Build the QuickCheck Verification Engine:
src/RISCV/ArchDesc.hs#L158
In the use of ‘head’
|