Skip to content

Allow encoding of hexadecimal floats #44

Allow encoding of hexadecimal floats

Allow encoding of hexadecimal floats #44

Triggered via push April 6, 2024 01:21
Status Success
Total duration 15s
Artifacts

hlint.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

15 warnings
hlint
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, rwe/actions-hlint-setup@v1, rwe/actions-hlint-run@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
hlint
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, rwe/actions-hlint-setup@v1, rwe/actions-hlint-run@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
hlint: src/CrackNum/Main.hs#L185
Suggestion in getFP in module Main: Use otherwise ▫︎ Found: "mkEBSB eb sb\n | eb >= 2 && eb <= 29 && sb >= 2 && sb <= 1073741822\n = Floating $ FP eb sb\n | True\n = BadFlag\n [\"Invalid floating-point precision.\", \"\",\n \" Exponent size must be between \"\n ++ show (2 :: Int) ++ \" to \" ++ show (29 :: Int),\n \" Significant size must be between \"\n ++ show (2 :: Int) ++ \" to \" ++ show (1073741822 :: Int),\n \"\", \"Received: \" ++ show eb ++ \" \" ++ show sb]" ▫︎ Perhaps: "mkEBSB eb sb\n | eb >= 2 && eb <= 29 && sb >= 2 && sb <= 1073741822\n = Floating $ FP eb sb\n | otherwise\n = BadFlag\n [\"Invalid floating-point precision.\", \"\",\n \" Exponent size must be between \"\n ++ show (2 :: Int) ++ \" to \" ++ show (29 :: Int),\n \" Significant size must be between \"\n ++ show (2 :: Int) ++ \" to \" ++ show (1073741822 :: Int),\n \"\", \"Received: \" ++ show eb ++ \" \" ++ show sb]"
hlint: src/CrackNum/Main.hs#L300
Suggestion in crack in module Main: Use otherwise ▫︎ Found: "inferLanes prefix\n | prefix `rem` eSize == 0 = pure $ Just (prefix `div` eSize)\n | True\n = die\n [\"Verilog notation size mismatch:\",\n \" Input length: \" ++ show prefix,\n \" Element size: \" ++ show eSize,\n \"Length must be an exact multiple of the element size.\"]" ▫︎ Perhaps: "inferLanes prefix\n | prefix `rem` eSize == 0 = pure $ Just (prefix `div` eSize)\n | otherwise\n = die\n [\"Verilog notation size mismatch:\",\n \" Input length: \" ++ show prefix,\n \" Element size: \" ++ show eSize,\n \"Length must be an exact multiple of the element size.\"]"
hlint: src/CrackNum/Main.hs#L319
Suggestion in crack in module Main: Use otherwise ▫︎ Found: "lanes\n | tryInfer = fromMaybe lanesGiven lanesInferred\n | True = lanesGiven" ▫︎ Perhaps: "lanes\n | tryInfer = fromMaybe lanesGiven lanesInferred\n | otherwise = lanesGiven"
hlint: src/CrackNum/Main.hs#L354
Suggestion in decodeAllLanes in module Main: Use otherwise ▫︎ Found: "header i\n | lanes == 1 = pure ()\n | True = putStrLn $ \"== Lane \" ++ show i ++ \" \" ++ replicate 60 '='" ▫︎ Perhaps: "header i\n | lanes == 1 = pure ()\n | otherwise\n = putStrLn $ \"== Lane \" ++ show i ++ \" \" ++ replicate 60 '='"
hlint: src/CrackNum/Main.hs#L418
Suggestion in parseToBits in module Main: Use otherwise ▫︎ Found: "cvt i\n | isHex = concat <$> mapM cvtHex i\n | True = concat <$> mapM cvtBin i" ▫︎ Perhaps: "cvt i\n | isHex = concat <$> mapM cvtHex i\n | otherwise = concat <$> mapM cvtBin i"
hlint: src/CrackNum/Main.hs#L497
Warning in decodeLane in module Main: Redundant bracket ▫︎ Found: "(Satisfiable {})" ▫︎ Perhaps: "Satisfiable {}"
hlint: src/CrackNum/Main.hs#L505
Warning in fixE5M2Type in module Main: Redundant bracket ▫︎ Found: "(Satisfiable {})" ▫︎ Perhaps: "Satisfiable {}"
hlint: src/CrackNum/Main.hs#L508
Suggestion in fixE5M2Type in module Main: Use otherwise ▫︎ Found: "fixType s\n | any (`isInfixOf` s) [\"ENCODED\", \"DECODED\"]\n = takeWhile (/= ':') s ++ \":: E5M2\"\n | True = s" ▫︎ Perhaps: "fixType s\n | any (`isInfixOf` s) [\"ENCODED\", \"DECODED\"]\n = takeWhile (/= ':') s ++ \":: E5M2\"\n | otherwise = s"
hlint: src/CrackNum/Main.hs#L522
Suggestion in de4m3Model in module Main: Use otherwise ▫︎ Found: "sval\n | sign = - val\n | True = val" ▫︎ Perhaps: "sval\n | sign = - val\n | otherwise = val"
hlint: src/CrackNum/Main.hs#L530
Suggestion in de4m3Model in module Main: Use otherwise ▫︎ Found: "fixDecoded l\n | \"DECODED\" `isInfixOf` l\n = \" DECODED = \" ++ show sval ++ \" :: E4M3\"\n | True = l" ▫︎ Perhaps: "fixDecoded l\n | \"DECODED\" `isInfixOf` l\n = \" DECODED = \" ++ show sval ++ \" :: E4M3\"\n | otherwise = l"
hlint
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
hlint
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
hlint
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/