Lines Matching defs:this
16 License along with this library; if not, write to the Free Software
131 (* Use this locked version for normal stdOut. *)
134 (* Create an unlocked version for use within the IDE code. When writing to this
493 val prefBuffSize = 4096 (* Get this from somewhere? *)
535 (* Use this locked version for normal stdOut. *)
935 have to provide a way for the parsetree for this "program" to navigate to others
943 not yet processed this one. *)
947 fun this () = makelist(l, previous)
955 fn () => makelist(tl, [PTpreviousSibling this]))]
1034 then (* It's this node or a child. *)
1052 NONE => lastParsetree (* In this *)
1280 (* Unlike the other requests this is done asynchronously. *)
1313 Note: Unlike the main compilation this is run with the interlock held and
1384 (* Add the parsetree to the list. Record this as the position of the last valid tree. *)
1448 (* The rest of this code is interruptible
1585 print "--help Print this message and exit\n";
1605 the first line if it's #!. The rest of this code is
1733 open PolyML (* Add this to the PolyML structure. *)