Alec Theriault

Happy parse error messages should include more information

1

Right now, parse errors include only the line number. For example: ``` Calc.ly:40: Parse error ``` It would be helpful to include a bit more easily accessible info: * the...

1. Consider the following short grammar: ``` foo :: { Int } : int { $1 } foo :: { Int } : int { $1 + 4 } ```...

The current user manual (for version 1.19.12) has this to say about parametrized productions > A drawback of the current implementation is that it does not support type signatures for...

Use `git add -f` in sandbox repo

1

Since the contents of this repo are autogenerated (and supposed to match exactly the SBT site produced), it makes no sense to respect any `.gitignore` settings when committing for GH...

Brought up [here](https://cardano.org/wp-content/uploads/2018/08/report.pdf#%5B%7B%22num%22%3A12%2C%22gen%22%3A0%7D%2C%7B%22name%22%3A%22XYZ%22%7D%2C62.692913386%2C597.699302373%2C0%5D). Check that the keys of `Set`/`Map`/`IntSet`/`IntMap` really are ascending when deserializing. **This requires adding an extra `Ord` constraint to the `Set` and `Map` instances**. If the keys...

Bazel BSP support

5

I was in the process of migrating a Scala Bazel codebase to use `bazel-bsp` and accidentally stumbled on the fact that it seems that JetBrains is planning on completely discontinuing...

Support fuzzy searching of members in dependencies

4

I'm not sure whether it is too expensive, but I would like a way to do some sort of Ctrl-T-like search over the full compile classpath that includes method names...

Support for source actions, like resolving imports

2

### Is your feature request related to a problem? Please describe. No ### Describe the solution you'd like It would be nice to have source actions like for Scala. Of...

Running code should take defensive copy of the compiled output

4

### Describe the bug I was a bit surprised to learn that running through both launch configurations and code lens may be running code that was compiled _after_ the run...

Failed BSP compilation through Metals does not return `StatusCode.Error`

5

## steps Given the following project in Metals ```scala // build.sbt Global / scalaVersion := "2.12.17" val proj1 = project .settings( version := "1.0", scalacOptions += "-Xlint:infer-any", ) ``` ```...