generalize-counter ( info' initial -- info )


Vocabulary
compiler.tree.propagation.recursive

Inputs
info'an object
initialan object


Outputs
infoan object


Definition
USING: accessors compiler.tree.propagation.info kernel sequences
;

IN: compiler.tree.propagation.recursive

: generalize-counter ( info' initial -- info )
2dup [ not ] either?
[ drop ] [
2dup [ class>> null-class? ] either?
[ drop ] [
[ clone ] dip [
[ drop ] [
[ ~quotation~ bi@ ] [ drop class>> ] 2bi
generalize-counter-interval
] 2bi >>interval
] [
[ drop ]
[ [ slots>> ] bi@ [ generalize-counter ] 2map ]
2bi >>slots
] bi
] if
] if ;