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.



Comment actions Permalink

Also, if I run the model checker on the language no errors appear.

Comment actions Permalink

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.


Please sign in to leave a comment.