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     ! 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.