depth_.shen in shen-ruby-0.14.0

- old
+ new

@@ -4,10 +4,10 @@
 
 (define depth-help'
   {(list A) --> (A --> (list A)) --> (A --> boolean) --> (A --> boolean) --> (list A) --> (list A)}
   [State | _] _ Goal? _ Path -> (reverse [State | Path]) 	where (Goal? State)
   [State | _] _ _ Fail? _ -> [] 				where (Fail? State)
-  [State | _] Successors Goal? Fail? Path <- (fail-if empty? 
+  [State | _] Successors Goal? Fail? Path <- (fail-if (function empty?) 
                                                       (depth-help' (Successors State) 
                                                                    Successors Goal? Fail? [State | Path]))
   [_ | States] Successors Goal? Fail? Path -> (depth-help' States Successors Goal? Fail? Path)
   _ _ _ _ _ -> []) 
 