You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The option “Start Rascal Terminal and import this module”, gives the error “Command 'Start Rascal Terminal and Import this module' resulted in an error (command 'rascalmpl.importMain' not found)”.
Steps to reproduce the behavior:
Open empty folder
Create folder src/demo
Create file 'hello.rsc' in this folder with the following content:
module demo::basic::Hello
import IO;
void hello() {
println("Hello world, this is my second Rascal program!");
}
4. Type CMD+SHIFT+P and choose option "Start Rascal Terminal and import this module"
This create the error
Expected behavior
A rascal terminal should be opened with the module module demo::basic::Hello imported and ready to use.
Screenshots
Stack traces
Toggle developer option did not result in any additional information.
Desktop (please complete the following information):
Visual Studio code Version: 1.74.2
Rascal plugin version v0.6.0
Mac Ventura
Apple M1 Max
JDK Temurin 11
Additional context
Add any other context about the problem here.
The text was updated successfully, but these errors were encountered:
djswagerman
changed the title
In Visual Studio code Version: 1.74.2, rascal plugin version v0.6.0 on Mac Ventura , the option “Start Rascal Terminal and import this module”, gives the error “Command 'Start Rascal Terminal and Import this module' resulted in an error (command 'rascalmpl.importMain' not found)”.
The option “Start Rascal Terminal and import this module”, gives the error “Command 'Start Rascal Terminal and Import this module' resulted in an error (command 'rascalmpl.importMain' not found)”.
Jan 3, 2023
This command should not be run via cmd+shift+p. We should detect this happening and give a better message. Normally you should see a small code-lens pop-up above the main method. As follows:
Clicking any of these is the desired interaction of this command.
DavyLandman
changed the title
The option “Start Rascal Terminal and import this module”, gives the error “Command 'Start Rascal Terminal and Import this module' resulted in an error (command 'rascalmpl.importMain' not found)”.
Protect rascal commands only intended for code-lenses from regular user invocation.
Jan 4, 2023
The option “Start Rascal Terminal and import this module”, gives the error “Command 'Start Rascal Terminal and Import this module' resulted in an error (command 'rascalmpl.importMain' not found)”.
Steps to reproduce the behavior:
module demo::basic::Hello
import IO;
void hello() {
println("Hello world, this is my second Rascal program!");
}
4. Type CMD+SHIFT+P and choose option "Start Rascal Terminal and import this module"
This create the error
Expected behavior
A rascal terminal should be opened with the module module demo::basic::Hello imported and ready to use.
Screenshots
Stack traces
Toggle developer option did not result in any additional information.
Desktop (please complete the following information):
Additional context
Add any other context about the problem here.
The text was updated successfully, but these errors were encountered: