Inhale Exhale Expressions in Quantified Expressions and Kiama Bug Fix about silver HOT 7 CLOSED

Bitbucket user stefanheule commented on 2013-07-20 21:16

Using kiama 1.5.1 looks good to me, but I guess the fix for inhale-exhale expressions in quantified expressions is not exactly what we are looking for: We still want to forbid accessibility predicates in quantified expressions. It would be great if this check did not get lost (or did I miss something?).

from silver.

Bitbucket user evolutics commented on 2013-07-21 14:44

Totally right, Stefan! I will correct this to fit our case. But SIL does not compile at the moment, so it will take some more time.

from silver.

Bitbucket user stefanheule commented on 2013-07-21 17:48

Ok, thanks. Do you mean the main SIL branch does not compile? According to the build server, things seem to be fine.

from silver.

Bitbucket user evolutics commented on 2013-07-21 18:18

Sorry, my mistake. SIL now compiles after cloning the whole repository afresh.

from silver.

Bitbucket user evolutics commented on 2013-07-21 21:05

All right, it is complete. Do all the tests on the build server pass?

from silver.

Bitbucket user stefanheule approved ✔️ the pull request on 2013-07-21 21:06

from silver.

Bitbucket user stefanheule commented on 2013-07-21 21:20

Thanks for the fix, I've merged in the change. Yes, all tests on the build server pass, except for Silicon which currently does not even compile, but for unrelated reasons.

from silver.