org.metaborg.core.transform.TransformException: Invoking Stratego strategy module-to-core-editor failed at term Formula( Relation( Reads([]) , Source(VarRef("_lifted_54"), []) , NamedDynamicEmitted([], "initDefault") , Target( VarRef("_lifted_55") , [LabelComp(SimpleSort("H"), VarRef("h"))] ) ) ) Stratego trace: module_to_core_editor_0_0 module_to_core_editor_0_0 module_to_core_0_2 in_project_path_1_1 dr_scope_1_1 explicate_module_0_0 m_in_extracted_components_1_0 explicate_rules_0_0 alltd_1_0 explicate_rule_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premise_0_0 report_with_failure_0_1 report_failure_0_2 SRTS_EXT_fatal_err_0_2

Searched on Google with the first line of a JAVA stack trace?

We can recommend more relevant solutions and speed up debugging when you paste your entire stack trace with the exception message. Try a sample exception.

Recommended solutions based on your search

Solutions on the web

via GitHub by casperbp
, 1 year ago
Invoking Stratego strategy module-to-core-editor failed at term Formula( Relation( Reads([]) , Source(VarRef("_lifted_54"), []) , NamedDynamicEmitted([], "initDefault") , Target( VarRef("_lifted_55") , [LabelComp(SimpleSort("H
via GitHub by casperbp
, 1 year ago
Invoking Stratego strategy module-to-core-editor failed at term ( Module("test/coq-semantics/features/import1", [Imports([Import("importx")])]) , [] , Module("test/coq-semantics/features/import1", [Imports([Import("importx")])]) , "test/coq
org.metaborg.core.transform.TransformException: Invoking Stratego strategy module-to-core-editor failed at term Formula( Relation( Reads([]) , Source(VarRef("_lifted_54"), []) , NamedDynamicEmitted([], "initDefault") , Target( VarRef("_lifted_55") , [LabelComp(SimpleSort("H"), VarRef("h"))] ) ) ) Stratego trace: module_to_core_editor_0_0 module_to_core_editor_0_0 module_to_core_0_2 in_project_path_1_1 dr_scope_1_1 explicate_module_0_0 m_in_extracted_components_1_0 explicate_rules_0_0 alltd_1_0 explicate_rule_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premises_0_0 explicate_premise_0_0 report_with_failure_0_1 report_failure_0_2 SRTS_EXT_fatal_err_0_2
at org.metaborg.spoofax.core.transform.StrategoTransformer.transform(StrategoTransformer.java:140)
at org.metaborg.spoofax.core.transform.StrategoTransformer.transform(StrategoTransformer.java:65)
at org.metaborg.spoofax.core.transform.StrategoTransformer.transform(StrategoTransformer.java:1)
at org.metaborg.core.transform.TransformService.transform(TransformService.java:55)
at org.metaborg.core.transform.TransformService.transform(TransformService.java:42)
at org.metaborg.spoofax.eclipse.transform.TransformJob.transform(TransformJob.java:141)
at org.metaborg.spoofax.eclipse.transform.TransformJob.transformAll(TransformJob.java:108)
at org.metaborg.spoofax.eclipse.transform.TransformJob.run(TransformJob.java:70)

Users with the same issue

You are the first who have seen this exception. Write a tip to help other users and build your expert profile.

Know the solutions? Share your knowledge to help other developers to debug faster.