Rascal rename crashed unexpectedly with: Cannot read TModel for module 'lang::rascalcore::check::Import'at: |std:///util/Monitor.rsc|(3538,1,<82,11>,<82,12>)

usethesource / rascal-language-servers

An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REPL.

BSD 2-Clause "Simplified" License

15 stars 8 forks source link

Rascal rename crashed unexpectedly with: Cannot read TModel for module 'lang::rascalcore::check::Import'at: |std:///util/Monitor.rsc|(3538,1,<82,11>,<82,12>) #515

Open PaulKlint opened 2 weeks ago

PaulKlint commented 2 weeks ago

Context: trying to rename complete in lang::rascalcore::check::Import to completeModuleStatus. Suspicion: the type checker has not yet written the .tpl file for lang::rascalcore::check::Import

Exception thrown:

|std:///util/Monitor.rsc|:82,11: unexpectedFailure("Cannot read TModel for module \'lang::rascalcore::check::Import\'")

Stacktrace:

    at job(|std:///util/Monitor.rsc|(3525,19,<81,11>,<83,3>))
    at rascalRenameSymbol(|lib://rascal-lsp/lang/rascal/lsp/refactor/Rename.rsc|(20862,6482,<444,0>,<595,18>))
    at $shell$(|main://$shell$|)

toinehartman commented 1 week ago

Thanks for reporting @PaulKlint. This indicates that getTModelForModule (in lang::rascalcore::check::CheckerCommon) returned <false, _, _>.

What does your workspace look like? Is it just rascal-core?

toinehartman commented 1 week ago

And which version of the extension are you using exactly? I'll try to reproduce this.

PaulKlint commented 1 week ago

I am using VsCode plugin v0.12.0-head1587 My workspace contains: rascal-core, rascal, typepal, vallang, rascal-core-big-tests, www.swat.engineering