Gears comments

Results 138 comments of


                                            Gears

LSP: Rename modules

Yep, this is definitely possible

let bindings are typechecked using their inferred type not their (narrowed) annotated type

The only thing we need to make sure is that variant inference is preserved. Other than that, it should only change error messages when the types don't line up

Hex Gleam dependency packages with colliding Erlang modules can fail to raise a compile error

We currently only check for conflicts within a package, and not across multiple packages. We have to implement this correctly though, as hex tarballs contain Gleam source files as well...

Tracking issue for bit arrays on javascript target

Thanks! I saw that you had mentioned somewhere in an issue which is currently open about signedness, so I assumed that was still unimplemented. I'll cross that off and add...

Permit maths expressions in bit array size patterns

This will be because bit arrays in guards are parsed as constants.

Permit maths expressions in bit array size patterns

Oh yes, I only read the PR title. Do we want to allow any expression here? This could require a decently sized rework of the pattern matching/exhaustiveness checking code.

Permit maths expressions in bit array size patterns

Ah yes. Same as guards I would assume

Permit maths expressions in bit array size patterns

I'm working on this!

Deprecate _ as x patterns

The latest commit on main should have fixed the clippy lints, unless you introduced more in this PR. If you rebase on main now, they should all pass

Show retirement notice when adding a retired package

Retired versions are different from retired packages. That's a separate issue: #3854