Commit 63b3dd9
authored
Fix a
This is presumably a Julia limitation, but it seems that inner functions
get inferred as `Core.Box` if they call themselves. We can work around
it by splitting it out.
Specifically, in Cthulhu one sees
for p in preds
terminal_preds!::Core.Box(s, p, edges, covered)
end
when this is an inner function.Core.Box (#114)1 parent f111efe commit 63b3dd9
1 file changed
+14
-13
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
543 | 543 | | |
544 | 544 | | |
545 | 545 | | |
546 | | - | |
547 | | - | |
548 | | - | |
549 | | - | |
550 | | - | |
551 | | - | |
552 | | - | |
553 | | - | |
554 | | - | |
555 | | - | |
556 | | - | |
557 | | - | |
558 | | - | |
559 | 546 | | |
560 | 547 | | |
561 | 548 | | |
562 | 549 | | |
563 | 550 | | |
564 | 551 | | |
565 | 552 | | |
| 553 | + | |
| 554 | + | |
| 555 | + | |
| 556 | + | |
| 557 | + | |
| 558 | + | |
| 559 | + | |
| 560 | + | |
| 561 | + | |
| 562 | + | |
| 563 | + | |
| 564 | + | |
| 565 | + | |
| 566 | + | |
566 | 567 | | |
567 | 568 | | |
568 | 569 | | |
| |||
0 commit comments