Skip to content
build

Remove SN GADT in favour of inlinable functions #831

Sign in to view logs

Remove SN GADT in favour of inlinable functions

Remove SN GADT in favour of inlinable functions #831

Triggered via pull request August 29, 2024 07:47
@turionturion
synchronize #348
dev_sn_functions
Status Success
Total duration 12m 55s
Artifacts –

ci.yml

on: pull_request
Matrix: Nix Flake
Generate matrix from cabal
4s
Generate matrix from cabal
Run hlint
11s
Run hlint
Run fourmolu
6s
Run fourmolu
Check and format all cabal files
4s
Check and format all cabal files
Matrix: build-cabal
Successfully build and test on all systems
0s
Successfully build and test on all systems
Fit to window
Zoom out
Zoom in

Annotations

1 warning
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)"