IN: compiler.tree.normalization

GENERIC: normalize* ( node -- node' )

USING: accessors compiler.tree compiler.tree.normalization ;

M: #alien-callback normalize* [ normalize ] change-child ;

USING: accessors arrays assocs compiler.tree
compiler.tree.normalization compiler.utilities kernel math.order
namespaces sequences ;

M: #branch normalize*
[
[
[
[ normalize* ] map-flat
introduction-stack get 2array
] with-scope
] map unzip swap
] change-children swap
[ remaining-introductions set ] [
[ length ] [ min ] map-reduce introduction-stack
[ swap head ] change
] bi ;

USING: combinators compiler.tree compiler.tree.normalization
kernel math ;

M: #call-recursive normalize*
dup unchanged-underneath