Closed Pathemeous closed 7 years ago
The 2016 fork of metaborg-sl contains a shell implementation (on branch shell-config
).
The fork is outdated, so we cannot use the additions in there directly. We could ask a contributor of DynSem for help.
Our MetaBorg SL fork has a working implementation.
While the metaborg-sl language serves as an example of the Spoofax workbench, it contains no example of the required implementation to get a working shell.
The absence of a working language with shell features mmakes it difficult to play around with it.