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