Lines Matching refs:unfold
804 fun unfold in_flag stack program = case program of
813 val new_body = unfold 0 lstack body
828 unfold in_flag (push_stackvl in_flag stackvl stack) m
833 Open sl :: unfold in_flag (push_stackvl in_flag stackvl stack) m
836 (infix_glob := vl @ (!infix_glob); Infix vl :: unfold in_flag stack m)
837 | In :: m => In :: unfold (in_flag + 1) stack m
839 Start s :: unfold in_flag (dempty String.compare :: stack) m
840 | End :: m => End :: unfold (in_flag - 1) (tl stack) m
849 Code ("op",Protect) :: new_code :: unfold in_flag stack m
864 new_code :: unfold in_flag stack m
866 | x :: m => x :: unfold in_flag stack m
984 fun unfold_wrap p = unfold 0 [dnew String.compare (map protect basis)] p