LSP incorrectly warns about unused bindings

unisonweb / unison

A friendly programming language from the future

https://unison-lang.org

Other

5.81k stars 271 forks source link

LSP incorrectly warns about unused bindings #5322

Closed tfausak closed 2 months ago

tfausak commented 2 months ago

f : List Boolean -> List Boolean
f = cases
  x +: ys | x -> ys
  _ -> []

$ uname -a
Linux cc6a47ee3517 6.10.7-orbstack-00280-gd3b7ec68d3d4 #4 SMP Mon Sep  2 03:51:24 UTC 2024 x86_64 GNU/Linux

$ ucm --version
unison version: release/0.5.25 (built on 2024-07-22)

ceedubs commented 2 months ago

This was fixed about a month ago, but it doesn't look like it has made it into a release yet. https://github.com/unisonweb/unison/pull/5265

tfausak commented 2 months ago

Ah, so this is a duplicate of #5247. I can wait for the next release 😄