1 2 3 4 5 6 7 8 9 10
| termToString :: Terme -> String
termToString (VARIABLE var) = var
termToString (NOM term []) = term
termToString (NOM term (x:xs)) = term
substituer :: Substi -> Terme -> Terme
substituer [] (NOM term xs) = if xs == [] then (NOM term []) else (NOM term xs)
--substituer [(balise, (NOM newTerm (ys)) )] (NOM term xs) = if balise == term then (NOM newTerm (ys)) else error "error"
substituer [(balise, (NOM newTerm (y:ys)) )] (NOM term (x:xs)) = if balise == term then (NOM newTerm (y:ys)) else substituer [(balise, (NOM newTerm (y:ys)) )] (NOM (termToString x) xs) |