From 5f2ce763ec9377015c85e4df788b8710c7a720aa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C4=99drzej=20Rochala?= <48657087+rochala@users.noreply.github.com> Date: Wed, 2 Apr 2025 12:10:28 +0200 Subject: [PATCH 1/2] Update getting started docs. (#22905) Getting started now includes correct commands used to setup working on bootstrapped projects [Cherry-picked 4a0803070ef9e6a20e66d06743bb93154173d2f2] --- docs/_docs/contributing/setting-up-your-ide.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/docs/_docs/contributing/setting-up-your-ide.md b/docs/_docs/contributing/setting-up-your-ide.md index 3779ce1c3403..690b42a37a51 100644 --- a/docs/_docs/contributing/setting-up-your-ide.md +++ b/docs/_docs/contributing/setting-up-your-ide.md @@ -42,7 +42,15 @@ want to make sure you do two things: + val enableBspAllProjects = true, ``` -2. Run `sbt publishLocal` to get the needed presentation compiler jars. +2. Run in sbt shell `sbt> scala3-bootstrapped/compile` and then `sbt> scala3-bootstrapped/publishLocalBin` + to get the required presentation compiler jars. + + If any step fails due to random errors, try removing `./out/` directory and running `sbt> clean` + + This step has to be repeated every time compiler version has been bumped. + + + By default Metals uses Bloop build server, however you can also use sbt directly. You can achieve this with the `Metals: Switch Build Server` command From 3873ab0b5d048663124facdb5cd40c122c5c8000 Mon Sep 17 00:00:00 2001 From: Tomasz Godzik Date: Sun, 27 Apr 2025 12:57:12 +0200 Subject: [PATCH 2/2] bugfix: Add error showing up in LTS --- tests/neg/type-params.check | 4 ++++ tests/neg/type-params.scala | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/tests/neg/type-params.check b/tests/neg/type-params.check index e1eefb4c6fe9..3b052f3556e0 100644 --- a/tests/neg/type-params.check +++ b/tests/neg/type-params.check @@ -10,6 +10,10 @@ | s does not take type parameters | | longer explanation available when compiling with `-explain` +-- Error: tests/neg/type-params.scala:17:35 ---------------------------------------------------------------------------- +17 | class WellKindedWrongSyntax[s <: List] // error + | ^^^^ + | type List takes type parameters -- Error: tests/neg/type-params.scala:21:26 ---------------------------------------------------------------------------- 21 | object mp extends Monad[Tuple2] // error | ^^^^^^ diff --git a/tests/neg/type-params.scala b/tests/neg/type-params.scala index 2803141f3b85..3a5279868405 100644 --- a/tests/neg/type-params.scala +++ b/tests/neg/type-params.scala @@ -14,7 +14,7 @@ class `various ancient kindedness`: type t = x[x] // error trait WellKindedBounded[s <: Throwable]: val foo: s[Int] // error - class WellKindedWrongSyntax[s <: List] // must be s[x] <: List[x] ? + class WellKindedWrongSyntax[s <: List] // error class Monad[m[x]]