Lines Matching refs:depth
115 fun prettyProps depth _ l =
116 if depth <= 0 then PrettyString "..."
117 else prettyProp(l, depth-1)
208 (* This controls the depth of printing if the default CPResultFun is used. It
210 be called to get the print depth whenever that code is executed.
216 (* Controls the depth of context to produce in error messages.
332 stream: string->unit, depth: int)
380 prettyPrintWithOptionalMarkup (stream, !lineLength) (TypeConstrs.print(t, FixedInt.fromInt depth, SOME space))
383 prettyPrintWithOptionalMarkup (stream, !lineLength) (Signatures.print(s, FixedInt.fromInt depth, SOME space))
386 prettyPrintWithOptionalMarkup (stream, !lineLength) (Structures.print(s, FixedInt.fromInt depth, SOME space))
389 prettyPrintWithOptionalMarkup (stream, !lineLength) (Functors.print(f, FixedInt.fromInt depth, SOME space))
394 else prettyPrintWithOptionalMarkup (stream, !lineLength) (Values.printWithType(v, FixedInt.fromInt depth, SOME space))
403 if depth > 0 then List.app printDec sortedDecs else ()
1551 TODO: This works fine so long as the recursion depth is not too deep