frameit module fails to compile

UniFormal / MMT

The MMT Language and System

https://uniformal.github.io/

Other

68 stars 22 forks source link

frameit module fails to compile #547

Closed tkw1536 closed 3 years ago

tkw1536 commented 3 years ago

On the tests, the docker build, and my local machine, the frameit module fails to compile. See the logs. This regression was introduced in 890646a8bf209205108b7255ac6b7114a3da628b.

This failure blocks the mmt.jar from being built and the tests from being run. We should do one of the following:

fix the frameit module or
undo the change that caused this problem or
remove the frameit module from the mmt.jar.

ComFreek commented 3 years ago

I was now able to reproduce the issue in IntelliJ - after clearing my old build caches. Somehow they were inconsistent allowing IntelliJ to compile and run FrameIT. Sorry for introducing the bug.

In the referenced commit above, I made it at least compile, albeit it will fail on runtime for the FrameIT module. This will only affect me and @SESch93: I asked for help at https://gitter.im/circe/circe?at=5f8c71387be0d67d277f97e7.