#trace on recursive function should display recursive calls.
let rec somme (x:int) : int = if x>0 then x + (somme (x-1) else x ;;
#trace somme
(somme 4) ;;
Should display
somme <-- 4
somme <-- 3
somme <-- 2
somme <-- 1
somme <-- 0
somme --> 0
somme --> 1
somme --> 3
somme --> 6
somme --> 10
But only displays
somme is now traced