Return to sml.1 CVS log

Up to [Research Unix] / researchv10dc / man / man1

Annotation of researchv10dc/man/man1/sml.1, revision 1.1.1.1

1.1       root        1: .TH SML 1
                      2: .CT 1 prog_other
                      3: .SH NAME
                      4: sml \(mi Standard ML compiler
                      5: .SH SYNOPSIS
                      6: .B sml
                      7: [
                      8: .I arg ...
                      9: ]
                     10: .SH DESCRIPTION
                     11: .I Sml
                     12: is the Standard ML of New Jersey compiler.
                     13: It reads declarations and expressions incrementally from standard input,
                     14: compiles and evaluates them, and
                     15: places results on the standard output.
                     16: Some useful system-related facilities are
                     17: .TP
                     18: .B "System.argv : unit -> string list" 
                     19: Return the argument list with which
                     20: .I sml
                     21: was invoked.
                     22: .PD0
                     23: .TP
                     24: .B "System.environ : unit -> string list
                     25: Return the environment list with which
                     26: .I sml
                     27: was invoked.
                     28: .TP
                     29: .B use : string -> unit
                     30: Temporarily take 
                     31: .I sml
                     32: source from the file named in the argument.
                     33: .TP
                     34: .B exportML : string->bool
                     35: Save the current memory image as the named file, which may later
                     36: be executed as an argumentless
                     37: .SM UNIX
                     38: command.
                     39: Return
                     40: .B true
                     41: in the original and
                     42: .B false
                     43: upon resumption of the saved image.
                     44: .TP exportFn : string * (string list*string list->unit)
                     45: Save a function an executable file and quit ML.  The function
                     46: takes a
                     47: .SM UNIX
                     48: argument list and environment as input; see
                     49: .IR exec (2).
                     50: .TP
                     51: .B system : string -> unit
                     52: Invoke a shell command.
                     53: .TP
                     54: .B cd : string -> unit
                     55: Change working directory.
                     56: .TP
                     57: .B System.Control.primaryPrompt : string ref
                     58: .TP
                     59: .B System.Control.secondaryPrompt : string ref
                     60: Primary and secondary prompts analogous to
                     61: .B PS1
                     62: and
                     63: .B PS2
                     64: of
                     65: .IR sh (1).
                     66: .TP
                     67: .B System.Control.Print.printDepth : int ref
                     68: Limit on depth of printing complex objects; default 5.
                     69: .TP
                     70: .B System.Control.Print.stringDepth : int ref
                     71: Limit on length to which strings will be printed; default 70.
                     72: .TP
                     73: .B System.Control.Print.signatures : bool ref
                     74: Print signatures only if true.
                     75: .SH EXAMPLES
                     76: .EX
                     77: fun timeit (f: unit->'a) =   (* use the system timer *)
                     78:      let open System.Timer
                     79:          val start = start_timer()
                     80:          val result = f()
                     81:       in print(makestring(check_timer(start)));
                     82:          print "\en";
                     83:          result
                     84:      end;
                     85: .EE
                     86: .SH "SEE ALSO"
                     87: Robert Harper,
                     88: `Introduction to Standard ML',
                     89: Edinburgh University report ECS-LFSC-86-14 (1986)
                     90: .br
                     91: Robert Harper,
                     92: Robin Milner, and
                     93: Mads Tofte,
                     94: .I
                     95: The Definition of Standard ML,
                     96: MIT Press (1990)

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.