Lines Matching refs:depth
184 | displayList ([v], _, depth) dodisplay =
185 if depth <= 0
187 else [dodisplay (v, depth)]
189 | displayList (v::vs, separator, depth) dodisplay =
190 if depth <= 0
198 dodisplay (v, depth),
204 displayList (vs, separator, depth - 1) dodisplay
207 fun displaySigs (str, depth) =
208 if depth <= 0 (* elide further text. *)
220 displayList (structList, "", depth) displaySpecs @
226 displaySigs (sigExp, depth) ::
232 displayTypeVariables (typeVars, depth) @
238 displayTypeParse (realisation, depth - 1, emptyTypeEnv)
242 and displaySpecs (specs, depth) =
243 if depth <= 0 (* elide further text. *)
251 {name, sigStruct=(sigStruct, opaque, _), ...}: structSigBind, depth) =
257 displaySigs (sigStruct, depth - 1)
264 displayList (structList, "and", depth) displaySigsBind
275 displayTypeParse (typeof, depth - 1, emptyTypeEnv)
295 displayTypeParse (typeof, depth - 1, emptyTypeEnv)
307 displayList (shares, "=", depth) (fn ((name, _), _) => PrettyString name)
314 displayList (structList, "", depth - 1) displaySigs
318 displayParsetree (dec, depth - 1)