OCaml: Адаптация рекурсивной функции

Question

Я потерял весь свой день в этой проблеме. Таким образом, у меня есть рекурсивная функция так:

let rec rewriteTree tree = 
     rewriteElement tree c; 
     List.iter rewriteTree tree.subtree in 
    rewriteTree myTree 

Функция rewriteElement возвращает единица(), так что я не проблемы с функцией rewriteTree. Но я вносил изменения в свой код, а функция rewriteElement теперь возвращает логическое значение, и мне нужно, чтобы он возвращал логический список со всеми булерами всех узлов дерева. Каков наилучший способ сделать это? Я пробовал с List.map, но компилятор бросает, что функция возвращает (список булевых списков). Благодарю.

Answer 1

Попробуйте это:

let rec rewriteTree tree = 
    rewriteElement tree c :: 
    List.concat (List.map rewriteTree tree.subtree) in 
rewriteTree myTree