Lines Matching defs:used
38 (* This function annotates the tree with information about how variables are used. This assists
51 (* Rebuild the closure with the entries actually used. *)
65 (* This array records the way the arguments are used inside the function. *)
80 (* If we have called this function somewhere and used the result that gives us a hint on the
82 because the result of the recursive calls may be used in some other context. For
84 That in turn affects any functions whose results are used. See Test138.ML.
148 (* Process the declarations in reverse order. A binding may be used in
150 can be used in an earlier one. *)
179 (* We now know the entries that have actually been used
265 (* For the moment, if we find that the field is not used we set the
306 val (used, discards) = filterUnused args
309 (used, NullBinding(cleanCode(value, [UseGeneral])) :: discards)
313 val (used, discards) = filterUnused args
315 (({value=cleanCode(value, use), addr=addr, use=use}, t) :: used, discards)