Remove SN GADT in favour of inlinable functions #827
ci.yml
on: pull_request
Matrix: Nix Flake
Generate matrix from cabal
3s
Run hlint
12s
Run fourmolu
8s
Check and format all cabal files
4s
Matrix: build-cabal
Successfully build and test on all systems
0s
Annotations
9 errors and 1 warning
Haskell GHC 9.8.2 cabal
The import of ‘FRP.Rhine.ResamplingBuffer.Util’ is redundant
|
Haskell GHC 9.8.2 cabal
Process completed with exit code 1.
|
Haskell GHC 9.6.4 cabal
The job was canceled because "_9_8_2_ubuntu-latest" failed.
|
Haskell GHC 9.6.4 cabal
The operation was canceled.
|
Haskell GHC 9.2.8 cabal
The job was canceled because "_9_8_2_ubuntu-latest" failed.
|
Haskell GHC 9.2.8 cabal
The import of ‘FRP.Rhine.ResamplingBuffer.Util’ is redundant
|
Haskell GHC 9.2.8 cabal
The operation was canceled.
|
Haskell GHC 9.4.7 cabal
The job was canceled because "_9_8_2_ubuntu-latest" failed.
|
Haskell GHC 9.4.7 cabal
The operation was canceled.
|
Run hlint:
rhine/src/FRP/Rhine/Reactimation/ClockErasure.hs#L50
Suggestion in eraseClockSN in module FRP.Rhine.Reactimation.ClockErasure: Redundant bracket ▫︎ Found: "SN m cl a b -> (Automaton m (Time cl, Tag cl, Maybe a) (Maybe b))" ▫︎ Perhaps: "SN m cl a b -> Automaton m (Time cl, Tag cl, Maybe a) (Maybe b)"
|