Gleam: Global rename and find references

[NewsBot]

A new Gleam blog post/announcement has been posted!

Gleam is a type-safe and scalable language for the Erlang virtual machine and JavaScript runtimes. Today Gleam v1.10.0 has been published. Here's what's new:

Project-wide call reference graph

The compiler has been upgraded to retain more information about the types and values and how they reference each other in Gleam programs. With this information the language server (which is included within the gleam binary) now provides the "find references" feature, so you can find everywhere in your project where a type or value is used.

The additional information has also been used to improve the "rename" language server feature. Previously only module-local types and values could be renamed, but now renaming can be performed across all modules in a project.

Lastly the compiler's unused-code detection has been greatly improved, fixing some situations in which it would fail to detect it all previously.

Thank you to Surya Rose for implementing this! It is probably our most anticipated addition within the community!

Improved exhaustiveness analysis

Gleam's compiler performs exhaustiveness analysis, ensuring that all possible variants of the value are handled in flow control, and that there are no redundant cases which are not reachable due to previous cases.

Giacomo Cavalieri has spent the time since the previous release studying the academic literature on the complex subject of exhaustiveness checking to bring a variety of improvements to our implementation. The first of these changes has made it into this release: string pattern analysis. Previously only rudimentary analysis was performed on strings, and unreachable strin...

Get the full details here: Global rename and find references