Can't find imported language
Dear forum,
Some colleagues of mine have built a few languages which they can build and use without problems. However, when I try using these languages the imports in the solutions are red, as in the figure.
The language builds correctly on my machine, but somehow it doesn't get loaded. That shouldn't be an issue, but my colleagues are working on Linux machines while I am working on a mac.
Any help is welcome.
Cheers,
Levi.
Please sign in to leave a comment.
Also, if I run the model checker on the language no errors appear.
The problem was some of the external languages from the mbeddr stack were not being correctly built. As those languages were pulled to build my language they could not be loaded, which caused my own language not to load properly.