Traq.ProtoLang.Rewrites
flattenSeq :: Stmt ext -> Maybe (Stmt ext) #
Flatten nested SeqS instructions
SeqS
pairSeq :: Stmt ext -> Maybe (Stmt ext) #
Convert all SeqS into a list of size at most 2. For example, SeqS [a, b, c] becomes SeqS [a, SeqS [b, c]]
SeqS [a, b, c]
SeqS [a, SeqS [b, c]]