Problem lies in that journal doesn't track all justifications for reactivated occurrences. For a parent of such occurrence its original activating match is considered, while justifications from the Reactivating match aren't tracked. So, this information about immediate reactivating parent is lost. lambdacalc lang typesystem heavily uses reactivation, so it fails. |
||
|---|---|---|
| .. | ||
| src/jetbrains/mps | ||
| Core.iml | ||
| pom.xml | ||