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

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.