Schedule a list of automata efficiently #822
ci.yml
on: pull_request
Matrix: Nix Flake
Generate matrix from cabal
3s
Run hlint
10s
Run fourmolu
7s
Check and format all cabal files
9s
Matrix: build-cabal
Successfully build and test on all systems
0s
Annotations
2 errors and 2 warnings
Check and format all cabal files
Process completed with exit code 1.
|
Nix Flake (ubuntu-latest)
Process completed with exit code 1.
|
Run hlint:
rhine/src/FRP/Rhine/Schedule/Internal.hs#L30
Suggestion in apInjs_NPNonEmpty in module FRP.Rhine.Schedule.Internal: Use camelCase ▫︎ Found: "apInjs_NPNonEmpty ::\n (SListI xs) => NP f (x ': xs) -> NonEmpty (NS f (x ': xs))" ▫︎ Perhaps: "apInjsNPNonEmpty ::\n (SListI xs) => NP f (x ': xs) -> NonEmpty (NS f (x ': xs))"
|
Run hlint:
rhine/src/FRP/Rhine/Schedule/Internal.hs#L31
Suggestion in apInjs_NPNonEmpty in module FRP.Rhine.Schedule.Internal: Use camelCase ▫︎ Found: "apInjs_NPNonEmpty (fx :* fxs) = ..." ▫︎ Perhaps: "apInjsNPNonEmpty (fx :* fxs) = ..."
|