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)	at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55)