Skip to content

Merge pull request #40 from elliotb-lowrisc/c_imm #18

Merge pull request #40 from elliotb-lowrisc/c_imm

Merge pull request #40 from elliotb-lowrisc/c_imm #18

Triggered via push April 18, 2024 11:40
Status Success
Total duration 2m 43s
Artifacts

haskell.yml

on: push
Run HLint on the QuickCheck Verification Engine codebase
12s
Run HLint on the QuickCheck Verification Engine codebase
Build the QuickCheck Verification Engine
2m 33s
Build the QuickCheck Verification Engine
Fit to window
Zoom out
Zoom in

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#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#L377
Suggestion in main in module Main: Use void ▫︎ Found: "f t >> return ()" ▫︎ Perhaps: "void (f t)"
Run HLint on the QuickCheck Verification Engine codebase: src/QuickCheckVEngine/Main.hs#L377
Suggestion in main in module Main: Redundant bracket ▫︎ Found: "(numTests <$>)\n . (doCheck (wrapTest <$> (T.genTest testParams template)))" ▫︎ Perhaps: "(numTests <$>)\n . doCheck (wrapTest <$> (T.genTest testParams template))"
Run HLint on the QuickCheck Verification Engine codebase: src/QuickCheckVEngine/Main.hs#L377
Suggestion in main in module Main: Redundant bracket ▫︎ Found: "wrapTest <$> (T.genTest testParams template)" ▫︎ Perhaps: "wrapTest <$> T.genTest testParams template"
Run HLint on the QuickCheck Verification Engine codebase: src/QuickCheckVEngine/Main.hs#L382
Warning in main in module Main: Use fmap ▫︎ Found: "liftM" ▫︎ Perhaps: "fmap"
Run HLint on the QuickCheck Verification Engine codebase: src/QuickCheckVEngine/MainHelpers.hs#L1
Warning in module QuickCheckVEngine.MainHelpers: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE TypeSynonymInstances #-}" ▫︎ Note: Extension TypeSynonymInstances is implied by FlexibleInstances
Run HLint on the QuickCheck Verification Engine codebase: src/QuickCheckVEngine/MainHelpers.hs#L88
Warning in showAnnotatedTrace in module QuickCheckVEngine.MainHelpers: Use snd ▫︎ Found: "\\ (a, b) -> b" ▫︎ Perhaps: "snd"
Run HLint on the QuickCheck Verification Engine codebase: src/QuickCheckVEngine/MainHelpers.hs#L94
Suggestion in bypassShrink in module QuickCheckVEngine.MainHelpers: Redundant bracket ▫︎ Found: "if is_bypass then\n ((a <>) <$> (singleShrink (s (def0 m_rd_x) (def0 m_rs1_x)) b))\nelse\n []" ▫︎ Perhaps: "if is_bypass then\n (a <>) <$> (singleShrink (s (def0 m_rd_x) (def0 m_rs1_x)) b)\nelse\n []"