Skip to content
hlint

Remove the unneeded old symbol resolution #1287

Sign in to view logs

Remove the unneeded old symbol resolution

Remove the unneeded old symbol resolution #1287

Triggered via pull request January 27, 2025 12:28
@facundominguezfacundominguez
opened #2479
fd/prune-old-name-resolution
Status Failure
Total duration 31s
Artifacts –

hlint.yml

on: pull_request
hlint
23s
hlint
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
hlint
HLint failed with status: 1. Warning (1)
hlint: liquidhaskell-boot/src/Language/Haskell/Liquid/Bare/Resolve.hs#L8
Warning in module Language.Haskell.Liquid.Bare.Resolve: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE LambdaCase #-}"