Return to filepaths.sig CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / sepcomp

Annotation of researchv10no/cmd/sml/src/sepcomp/filepaths.sig, revision 1.1

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: (* FILEPATHS: a hopefully general way of interpreting arguments to "import"
        !             3:              so that we can have relative paths. This will be different
        !             4:              for different systems; I provide a unix version, and if anybody
        !             5:              does a port to VAX/VMS or MS-DOS (snigger) the FilePaths()
        !             6:              functor will have to change.
        !             7:                                                        NICK, Apr '89
        !             8:  *)
        !             9: 
        !            10: signature FILEPATHS =
        !            11:   sig
        !            12:     type Filepath
        !            13:     val defaultPath: Filepath          (* If I open "foo", this is where it
        !            14:                                           comes from: result of "pwd"? *)
        !            15:     exception ImpliedPath              (* Raise on ~nobody/... *)
        !            16:     val impliedPath:
        !            17:       Filepath * string -> {validName: string, newPath: Filepath}
        !            18:                                        (* Given a current path and some
        !            19:                                           filename, return a filename I
        !            20:                                           can use, plus the implied path
        !            21:                                           to use within that file. *)
        !            22:   end;

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