Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Typechecker fails on analysis::typepal::TypePal #2006

Open
toinehartman opened this issue Jul 19, 2024 · 1 comment
Open

Typechecker fails on analysis::typepal::TypePal #2006

toinehartman opened this issue Jul 19, 2024 · 1 comment
Assignees
@PaulKlint
Labels
bug typechecker

Comments

@toinehartman
Copy link

toinehartman commented Jul 19, 2024 •
edited
Loading

  1. Open the typepal workspace
  2. Make sure to remove the target folder
  3. Open src/analysis/typepal/TypePal.rsc.
  4. Save the file (ctrl S)

The type checker will start checking several modules. It errors because it cannot find the TPL for analysis::typepal::Solver. This is a module that analysis::typepal::TypePal extends.

After manualy opening and saving analysis::typepal::Solver (which generates a TPL), typechecking analysis::typepal::TypePal works like expected.

13:42:37.655 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - pathConfig(
13:42:37.656 [pool-5-thread-9] INFO  Evaluator: Rascal compiler -   ignores=[],
13:42:37.656 [pool-5-thread-9] INFO  Evaluator: Rascal compiler -   resources=|target://typepal|,
13:42:37.656 [pool-5-thread-9] INFO  Evaluator: Rascal compiler -   javaCompilerPath=[],
13:42:37.656 [pool-5-thread-9] INFO  Evaluator: Rascal compiler -   bin=|target://typepal|,
13:42:37.656 [pool-5-thread-9] INFO  Evaluator: Rascal compiler -   classloaders=[],
13:42:37.656 [pool-5-thread-9] INFO  Evaluator: Rascal compiler -   libs=[|lib://rascal|],
13:42:37.656 [pool-5-thread-9] INFO  Evaluator: Rascal compiler -   srcs=[|file:///c:/Users/toine/swat/projects/Rascal/typepal/src|])
13:42:43.186 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checking ... analysis::typepal::FailMessage
13:42:46.387 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checked .... analysis::typepal::FailMessage in 734 ms
13:42:47.434 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Saved TPL .. analysis::typepal::FailMessage in 156 ms
13:42:47.445 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checking ... analysis::typepal::Exception
13:42:50.059 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checked .... analysis::typepal::Exception in 812 ms
13:42:50.474 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Saved TPL .. analysis::typepal::Exception in 15 ms
13:42:50.488 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checking ... analysis::typepal::GetLoc
13:43:04.526 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checked .... analysis::typepal::GetLoc in 3500 ms
13:43:07.368 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Saved TPL .. analysis::typepal::GetLoc in 78 ms
13:43:07.370 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checking ... analysis::typepal::Version
13:43:07.531 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checked .... analysis::typepal::Version in 31 ms
13:43:07.569 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Saved TPL .. analysis::typepal::Version in 0 ms
13:43:07.570 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checking ... analysis::typepal::TModel
13:43:10.642 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checked .... analysis::typepal::TModel in 468 ms
13:43:11.528 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Saved TPL .. analysis::typepal::TModel in 0 ms
13:43:11.532 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checking ... analysis::typepal::AType
13:43:17.108 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checked .... analysis::typepal::AType in 984 ms
13:43:18.050 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Saved TPL .. analysis::typepal::AType in 234 ms
13:43:18.051 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checking ... analysis::typepal::Messenger
13:43:31.824 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checked .... analysis::typepal::Messenger in 4562 ms
13:43:35.719 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Saved TPL .. analysis::typepal::Messenger in 421 ms
13:43:35.721 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checking ... analysis::typepal::ISolver
13:43:46.954 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checked .... analysis::typepal::ISolver in 3156 ms
13:43:50.090 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Saved TPL .. analysis::typepal::ISolver in 78 ms
13:43:50.092 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checking ... analysis::typepal::ConfigurableScopeGraph
13:44:11.065 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checked .... analysis::typepal::ConfigurableScopeGraph in 3796 ms
13:44:20.494 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Saved TPL .. analysis::typepal::ConfigurableScopeGraph in 593 ms
13:44:20.498 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checking ... analysis::typepal::ICollector
13:44:42.893 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checked .... analysis::typepal::ICollector in 3437 ms
13:44:51.361 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Saved TPL .. analysis::typepal::ICollector in 187 ms
13:44:51.656 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checking ... analysis::typepal::Collector
13:46:03.792 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checked .... analysis::typepal::Collector in 10531 ms
13:46:11.036 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Saved TPL .. analysis::typepal::Collector in 343 ms
13:46:11.049 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checking ... analysis::typepal::TypePal
13:46:26.941 [pool-5-thread-9] INFO  Evaluator: Rascal compiler - Checked .... analysis::typepal::TypePal in 3140 ms
13:46:29.810 [pool-5-thread-9] ERROR org.rascalmpl.vscode.lsp.util.EvaluatorUtil - Internal error during Rascal check
|lib://rascal-core/lang/rascalcore/check/ADTandGrammar.rsc|(7225,12,<151,52>,<151,64>): |lib://rascal-core/lang/rascalcore/check/ADTandGrammar.rsc|:151,52: "addGrammar: tmodel for analysis::typepal::Solver not found"
	at addGrammar(|lib://rascal-core/lang/rascalcore/check/ADTandGrammar.rsc|(7171,85,<150,27>,<152,17>))
	at prepareForCompilation(|lib://rascal-core/lang/rascalcore/check/Import.rsc|(11104,61,<269,19>,<269,80>))
	at rascalTModelForLocs(|lib://rascal-core/lang/rascalcore/check/Checker.rsc|(16477,77,<385,38>,<385,115>))
	at check(|lib://rascal-core/lang/rascalcore/check/Checker.rsc|(22694,64,<545,9>,<545,73>))
	at $shell$(|main://$shell$|)
@toinehartman toinehartman changed the title Typechecker does not generate TModel for extended module Typechecker fails on analysis::typepal::TypePal Jul 19, 2024
@toinehartman
Copy link
Author

Adding import analysis::typepal::Solver; works around this. I suspect that extended modules might not correctly be taken into account when determining dependencies of the current module.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@PaulKlint PaulKlint

Labels
bug typechecker
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@PaulKlint @toinehartman