Trouver tous les éléments dans BST satisfaisant f en utilisant les suites de succès dans SML

Question

J'ai une tâche à faire et je n'arrive pas à comprendre comment faire une question. Voici ce que je dois faire:

Ecrire une fonction qui rassemble tous les éléments de l'arbre T qui satisfait la propriété p et le renvoie. Traverse l'arbre en ordre inverse. Trouver tous les éléments dans BST satisfaisant f en continuant les succès.

j'ai fait ce qui suit:

datatype 'a tree = 
Empty | Node of (int * 'a) * 'a tree * 'a tree 

fun find_all f Empty cont = cont() 
| find_all f (Node(x, l, r)) cont = if (f x) then find_all (f l (fn x => x::cont())) @ find_all (f r (fn x => x::cont())) 
     else find_all (f l (fn() => cont())) @ find_all (f r (fn() => cont())); 

Je ne comprends pas pourquoi cela ne fonctionne pas ...

Answer 1

Voici ce que je faisais:

fun find_all f Empty cont = cont [] 
| find_all f (Node(x, l, r)) cont = if (f x) then find_all f l (fn e => find_all f r (fn t => cont (e@(x::t)))) 
         else find_all f l (fn t => find_all f r (fn e => cont (e@t))); 

Et ça marche bien