slavapestov/factor — Issue #380: compiler.tree.propagation misses opportunity to inline accessor because of shitty class algebra on mixins
Author: slavapestov
Created: 2011-11-10 05:35:34+00:00
State: open

```factor
MIXIN: foo
INSTANCE: f foo
TUPLE: (foo) ;
INSTANCE: (foo) foo
\ f class-not foo class-and .

T{ anonymous-intersection
{ participants
{ T{ anonymous-complement { class POSTPONE: f } } foo }
}
}```

Expected result is just '(foo)'.

This comes up because ?dlist-node is a mixin (because of circularity) and so the next>> call isn't inlined in [ { dlist } declare [ drop ] dlist-each-node ] even though it could be.