Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions .github/workflows/run-integration-test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,10 @@ on:
description: 'typepal branch/tag to be typechecked. Default: configured in Main.rsc.'
required: false

rascal_lsp_branch_check:
description: 'rascal-lsp branch/tag to be typechecked. Default: configured in Main.rsc.'
required: false

rascal_lsp_all_branch_check:
description: 'rascal-lsp-all branch/tag to be typechecked. Default: configured in Main.rsc.'
required: false
Expand Down Expand Up @@ -146,6 +150,9 @@ jobs:
if [[ -n "${{ inputs.typepal_branch_check }}" ]]; then
echo "TYPEPAL_BRANCH=${{ inputs.typepal_branch_check }}" >> "$GITHUB_ENV"
fi
if [[ -n "${{ inputs.rascal_lsp_branch_check }}" ]]; then
echo "RASCAL_LSP_BRANCH=${{ inputs.rascal_lsp_branch_check }}" >> "$GITHUB_ENV"
fi
if [[ -n "${{ inputs.rascal_lsp_all_branch_check }}" ]]; then
echo "RASCAL_LSP_ALL_BRANCH=${{ inputs.rascal_lsp_all_branch_check }}" >> "$GITHUB_ENV"
fi
Expand Down
8 changes: 7 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,7 @@ The integration test has some parameters that are a bit complex to use, so this
| typepal.jar | the typepal.jar that gets packaged into rascal.jar | `rascal/pom.xml` or `$typepal_branch_build` |
| rascal-stdlib | the standard lib that is typechecked and used to typecheck all the downstream libraries | `Main.rsc` or `$rascal_branch_check` |
| typepal | the Typepal version that is typechecked during the typechecking of libraries | `Main.rsc` or `$typepal_branch_check` |
| rascal-lsp | the version of rascal-lsp that is typechecked during the typechecking of libraries | `Main.rsc` or `$rascal_lsp_branch_check` |
| rascal-all | the version of the Rascal compiler that is typechecked by `rascal.jar`. | `rascal.jar` |
| typepal-copy | the Typepal version that is copied into rascal-all. | `typepal.jar` |
| rascal-lsp-all | the version of rename code in rascal-lsp (that uses the Rascal compiler) that is typechecked by `rascal.jar` | `Main.rsc` or `$rascal-lsp-all` |
Expand All @@ -47,6 +48,7 @@ There are changes in the Rascal project (in a PR) that might influence the typec
| typepal.jar | extracted from `rascal/pom.xml` in `$rascal_branch_build`, is assumed to be released |
| rascal-stdlib | branch configured in `Main.rsc` |
| typepal | branch configured in `Main.rsc` |
| rascal-lsp | branch configured in `Main.rsc` |
| rascal-all | same as `rascal.jar` |
| typepal-copy | same as `typepal.jar` |
| rascal-lsp-all | branch configured in `Main.rsc` |
Expand All @@ -68,6 +70,7 @@ Setting `typepal_branch_build` will override the Typepal dependency in the `rasc
| typepal.jar | `$typepal_branch_build` |
| rascal-stdlib | branch configured in `Main.rsc` |
| typepal | branch configured in `Main.rsc` |
| rascal-lsp | branch configured in `Main.rsc` |
| rascal-all | same as `rascal.jar` |
| typepal-copy | same as `typepal.jar` |
| rascal-lsp-all | branch configured in `Main.rsc` |
Expand All @@ -77,7 +80,8 @@ Setting `typepal_branch_build` will override the Typepal dependency in the `rasc
There are changes in the Rascal project that might influence the typechecker. And it requires changes in rascal-lsp rename code.

1. Set `rascal_branch_build`
2. Set `rascal_lsp_all_branch_check`
2. Set `rascal_lsp_branch_check`
3. Set `rascal_lsp_all_branch_check`

#### Effect

Expand All @@ -87,6 +91,7 @@ There are changes in the Rascal project that might influence the typechecker. An
| typepal.jar | `$typepal_branch_build` |
| rascal-stdlib | branch configured in `Main.rsc` |
| typepal | branch configured in `Main.rsc` |
| rascal-lsp | `$rascal_lsp_branch_check` |
| rascal-all | same as `rascal.jar` |
| typepal-copy | same as `typepal.jar` |
| rascal-lsp-all | `$rascal_lsp_all_branch_check` |
Expand All @@ -111,6 +116,7 @@ Setting `typepal_branch_build` will override the Typepal dependency in `rascal/p
| typepal.jar | `$typepal_branch_build` |
| rascal-stdlib | `$rascal_branch_check` |
| typepal | `$typepal_branch_check` |
| rascal-lsp | branch configured in `Main.rsc` |
| rascal-all | same as `rascal.jar` |
| typepal-copy | same as `typepal.jar` |
| rascal-lsp-all | branch configured in `Main.rsc` or `$rascal_lsp_all_branch_check` |
2 changes: 1 addition & 1 deletion src/main/rascal/Main.rsc
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,7 @@ Projects projects = {
<"bird-core", project(|https://github.com/SWAT-engineering/bird.git|, {"rascal-stdlib", "typepal"}, subdir="bird-core")>,
<"bird-ide", project(|https://github.com/SWAT-engineering/bird.git|, {"rascal-stdlib", "bird-core", "rascal-lsp", "typepal"}, subdir="bird-ide")>,
<"rascal-lsp-all", project(|https://github.com/usethesource/rascal-language-servers.git|, {"rascal-all"}, branch=trim(getSystemEnvironment()["RASCAL_LSP_ALL_BRANCH"] ? "main"), subdir="rascal-lsp", srcs=["src/main/rascal/library","src/main/rascal/lsp"])>,
<"rascal-lsp", project(|https://github.com/usethesource/rascal-language-servers.git|, {"rascal-stdlib", "typepal"}, srcs=["src/main/rascal/library", "src/main/rascal/lsp"], ignores = {"lang/rascal/lsp/refactor", "lang/rascal/tests/rename", "lang/rascal/lsp/IDECheckerWrapper.rsc"}, subdir="rascal-lsp", testPrefixes={"lang::rascal::tests::rename"})>
<"rascal-lsp", project(|https://github.com/usethesource/rascal-language-servers.git|, {"rascal-stdlib", "typepal"}, branch=trim(getSystemEnvironment()["RASCAL_LSP_BRANCH"] ? "main"), srcs=["src/main/rascal/library", "src/main/rascal/lsp"], ignores = {"lang/rascal/lsp/refactor", "lang/rascal/tests/rename", "lang/rascal/lsp/IDECheckerWrapper.rsc"}, subdir="rascal-lsp", testPrefixes={"lang::rascal::tests::rename"})>
};

bool isWindows = /win/i := getSystemProperty("os.name");
Expand Down
Loading