polyml/basis/FinalPolyML.sml

34 This contains the top-level read-eval-print loop as well as "use" and
113         (* Install a pretty printer for parsetree properties.  This isn't done in
119         (* Use prettyRepresentation to print most of the arguments *)
155            Provides a default stream for other output.  Default: TextIO.print *)
159             { message: PolyML.pretty, hard: bool, location: PolyML.location, context: PolyML.pretty option } -> unit
166            Default: print this to CPOutStream value using CPLineNo and CPFileName. *)
187            Default: print and enter the values into CPNameSpace. *)
209            is also bound into any use of PolyML.print in the compiled code and will
210            be called to get the print depth whenever that code is executed.
213         (* This is bound into any occurrence of PolyML.print and is used to produce
219         (* Bound into any occurrences of PolyML.print.  This is the length of a line
220            used in the pretty printer.  Default: value of PolyML.line_length. *)
267     fun prettyPrintWithIDEMarkup(stream : string -> unit, lineWidth : int): PolyML.pretty -> unit =
312         TextIO.print s
330     (* Default function to print and enter a value. *)
377                 prettyPrintWithOptionalMarkup (stream, !lineLength) (Infixes.print f)
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))
397         (* First add the declarations to the name space and then print them.  Doing it this way
413             {message: PolyML.pretty, hard: bool,
415              context: PolyML.pretty option} =
474             val outstream = find (fn CPOutStream s => SOME s | _ => NONE) TextIO.print parameters
544         (* Top-level read-eval-print loop.  This is the normal top-level loop and is
548             (* This is used as the main read-eval-print loop.  It is also invoked
602                             (* Don't print any times if this raises an exception. *)
638                             prettyPrintWithOptionalMarkup(TextIO.print, ! lineLength)
728                 TextIO.print ("Exception- " ^ exnMessage exn ^ " raised\n");
876         (* This serves two purposes. It provides a list of objects which have been
947                 val () = print ("Making " ^ objName ^ "\n");
973                            print("Circular dependency: " ^ name ^  " depends on itself\n")
991                         print ("Created " ^ kind ^ " " ^ name ^ "\n");
1007                                different machines can get out of step leading to objects
1069                                 print ("Exception- " ^ exnMessage exn ^ " raised\n");
1106                         print ("Circular dependency: " ^ s ^ " depends on itself\n")
1162                 print (s ^ "\n");
1170             (* If the target we are making is a directory all the objects
1172                to other objects in the same directory. Objects not found must
1183                     print (targetName ^ " was not declared\n");
1193         (* We must not have a signature on the result otherwise print and makestring
1544                     hd :: _ => Values.print(get hd, FixedInt.fromInt(!printDepth))
1552                    but once it gets too wide the pretty-printer starts breaking the lines. *)
1564                 prettyPrintWithOptionalMarkup (TextIO.print, !lineLength) block
1567             (* Try to print the appropriate line from the file.*)
1572                 (* Use the pretty printer here because that allows us to provide a link to the
1582                 (* First just print where we are. *)
1587                 (* Try to print it.  This may fail if the file name was not a full path
1865                     else TextIO.print "Top of stack.\n"
1873                     then TextIO.print "Bottom of stack.\n"
1884                 (* Just print the functions without any other context. *)
1902                         prettyPrintWithOptionalMarkup(TextIO.print, !lineLength)
1917                             TextIO.print(concat["Function ", funName, ":"]);
1919                             TextIO.print "\n"
1943                     fun findBreak [] = (TextIO.print "No such breakpoint.\n"; [])
1957                     fun findBreak [] = (TextIO.print "No such breakpoint.\n"; [])
1971                     fun findBreak [] = (TextIO.print "No such breakpoint.\n"; [])
1989                     val compilerOut = prettyPrintWithOptionalMarkup(TextIO.print, !lineLength)
2042                 else TextIO.print(concat["Total ", Int.toString total, "\n"])
2212                 (* Add the entries and print them in the same way as top-level bindings. *)
2213                 printAndEnter(! printInAlphabeticalOrder, globalNameSpace, TextIO.print, !printDepth)