Skip to content

Added type mismatch example #26

Added type mismatch example

Added type mismatch example #26

Triggered via push March 2, 2024 13:31
Status Failure
Total duration 15s
Billable time 1m
Artifacts

hlint.yaml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
hlint
HLint failed with status: 1. Warning (1)
hlint
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, haskell/actions/hlint-setup@v2, haskell/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: src/PropertyEngine.hs#L70
Warning in translate in module PropertyEngine: Redundant bracket ▫︎ Found: "(SBool)" ▫︎ Perhaps: "SBool"