Lines Matching defs:here
689 (* We use the functional layer and a reference here rather than TextIO.input1 because
691 only one thread accessing the stream so we don't need it here. *)
911 val here = fullName
920 then (here,"ml_bind")
936 case filePresent (here, kind, name) of
938 | _ => here;
977 (* There was previously a comment about returning NONE here if
1319 an exception here. *)
1443 (* We have a full environment here for future expansion but at
1476 we need to use globals here so that the debug functions such
1536 as an int ref here. The packet, though, is immutable. *)
1572 (* Use the pretty printer here because that allows us to provide a link to the
1615 (* We don't actually break here because at this stage we don't