···

       
197
       
197
       
 
       


     

       
198
       
198
       
 
       
  withRecursion =

     

       
199
       
199
       
 
       
    args@{

     

       
200
       
200
       
-
       
      /* If this option is not null, `toPretty` will stop evaluating at a certain depth */

     

       
200
       
200
       
+
       
      /* If this option is not null, the given value will stop evaluating at a certain depth */

     

       
201
       
201
       
 
       
      depthLimit

     

       
202
       
202
       
 
       
      /* If this option is true, an error will be thrown, if a certain given depth is exceeded */

     

       
203
       
203
       
 
       
    , throwOnDepthLimit ? true

     
···

       
207
       
207
       
 
       
        transform = depth:

     

       
208
       
208
       
 
       
          if depthLimit != null && depth > depthLimit then

     

       
209
       
209
       
 
       
            if throwOnDepthLimit

     

       
210
       
210
       
-
       
              then throw "Exceeded maximum eval-depth limit of ${toString depthLimit} while trying to pretty-print with `generators.withRecursion'!"

     

       
210
       
210
       
+
       
              then throw "Exceeded maximum eval-depth limit of ${toString depthLimit} while trying to evaluate with `generators.withRecursion'!"

     

       
211
       
211
       
 
       
              else const "<unevaluated>"

     

       
212
       
212
       
 
       
          else id;

     

       
213
       
213
       
 
       
        mapAny = with builtins; depth: v: