metaborg/dynsem

Parameterise DynSemContext with Language

vvergu opened this issue · 0 comments

DynSemContext has a static field set to the language currently. This prevents multiple languages to be running at the same time. We should make the DynSemContext parametric on the language. If there is a mutual dependency between the two we should add the Language to the context later.