Skip to content
hlint

Update LF after preserving location of operators #1197

Sign in to view logs

Update LF after preserving location of operators

Update LF after preserving location of operators #1197

Triggered via pull request November 28, 2024 18:44
@facundominguezfacundominguez
opened #2449
fd/op-loc
Status Failure
Total duration 35s
Artifacts –

hlint.yml

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

Annotations

1 error and 5 warnings
hlint
HLint failed with status: 1. Warning (5)
hlint: liquidhaskell-boot/src/Language/Haskell/Liquid/Name/LogicNameEnv.hs#L4
Warning in module Language.Haskell.Liquid.Name.LogicNameEnv: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE OverloadedStrings #-}"
hlint: liquidhaskell-boot/src/Language/Haskell/Liquid/Name/LogicNameEnv.hs#L5
Warning in module Language.Haskell.Liquid.Name.LogicNameEnv: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE LambdaCase #-}"
hlint: liquidhaskell-boot/src/Language/Haskell/Liquid/Name/LogicNameEnv.hs#L6
Warning in module Language.Haskell.Liquid.Name.LogicNameEnv: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE TupleSections #-}"
hlint: liquidhaskell-boot/src/Language/Haskell/Liquid/Name/LogicNameEnv.hs#L7
Warning in module Language.Haskell.Liquid.Name.LogicNameEnv: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE TypeApplications #-}"
hlint: liquidhaskell-boot/src/Language/Haskell/Liquid/Name/LogicNameEnv.hs#L8
Warning in module Language.Haskell.Liquid.Name.LogicNameEnv: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE ViewPatterns #-}"