Lines Matching defs:acc
498 fun new t a acc = {tokens = StringSet.singleton t, assoc = a} :: acc;
500 fun add t a' acc =
501 case acc of
503 | {tokens = ts, assoc = a} :: acc =>
504 if equalAssoc a a' then {tokens = StringSet.add ts t, assoc = a} :: acc
507 fun layer ({token = t, precedence = p, assoc = a}, (acc,p')) =
509 val acc = if p = p' then add t a acc else new t a acc
511 (acc,p)
519 val acc = new t a []
521 val (acc,_) = List.foldl layer (acc,p) ios
523 acc
676 fun add (c,acc) = sizeChunk c + acc;
682 fun flattenChunks acc chunks =
684 [] => acc
685 | chunk :: chunks => flattenChunk acc chunk chunks
687 and flattenChunk acc chunk chunks =
689 WordChunk w => flattenChunks (renderWord w :: acc) chunks
690 | BreakChunk b => flattenChunks (renderBreak b :: acc) chunks
691 | FrameChunk f => flattenFrame acc f chunks
693 and flattenFrame acc frame chunks =
694 flattenChunks acc (chunksFrame frame @ chunks);
1507 fun inc {indent,line} acc = line :: nSpaces indent :: acc;
1509 fun incn (indent_line,acc) = inc indent_line ("\n" :: acc);