Return to sml.1 CVS log

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

Annotation of researchv10dc/man/adm/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
                     45: .B system : string -> unit
                     46: Invoke a shell command.
                     47: .TP
                     48: .B cd : string -> unit
                     49: Change working directory.
                     50: .TP
                     51: .B System.Control.primaryPrompt : string ref
                     52: .TP
                     53: .B System.Control.secondaryPrompt : string ref
                     54: Primary and secondary prompts analogous to
                     55: .B PS1
                     56: and
                     57: .B PS2
                     58: of
                     59: .IR sh (1).
                     60: .TP
                     61: .B System.Control.Print.printDepth : int ref
                     62: Limit on depth of printing complex objects; default 5.
                     63: .TP
                     64: .B System.Control.Print.stringDepth : int ref
                     65: Limit on length to which strings will be printed; default 70.
                     66: .TP
                     67: .B System.Control.Print.signatures : bool ref
                     68: Print signatures only if true.
                     69: .SH EXAMPLES
                     70: .EX
                     71: fun timeit (f: unit->'a) =   (* use the system timer *)
                     72:      let open System.Timer
                     73:          val start = start_timer()
                     74:          val result = f()
                     75:       in print(makestring(check_timer(start)));
                     76:          print "\en";
                     77:          result
                     78:      end;
                     79: .EE
                     80: .SH "SEE ALSO"
                     81: Robert Harper,
                     82: `Introduction to Standard ML',
                     83: Edinburgh University report ECS-LFSC-86-14 (1986)
                     84: .br
                     85: Robert Harper,
                     86: Robin Milner, and
                     87: Mads Tofte,
                     88: .I
                     89: The Definition of Standard ML,
                     90: MIT Press (1990)

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