diff options
| author | Charles.Forsyth <devnull@localhost> | 2006-12-22 20:52:35 +0000 |
|---|---|---|
| committer | Charles.Forsyth <devnull@localhost> | 2006-12-22 20:52:35 +0000 |
| commit | 46439007cf417cbd9ac8049bb4122c890097a0fa (patch) | |
| tree | 6fdb25e5f3a2b6d5657eb23b35774b631d4d97e4 /module/names.m | |
| parent | 37da2899f40661e3e9631e497da8dc59b971cbd0 (diff) | |
20060303-partial
Diffstat (limited to 'module/names.m')
| -rw-r--r-- | module/names.m | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/module/names.m b/module/names.m new file mode 100644 index 00000000..5c17ff77 --- /dev/null +++ b/module/names.m @@ -0,0 +1,13 @@ +Names: module +{ + PATH: con "/dis/lib/names.dis"; + + cleanname: fn(name: string): string; + dirname: fn(name: string): string; + basename: fn(name: string, suffix: string): string; + elements: fn(name: string): list of string; + isprefix: fn(a: string, b: string): int; + pathname: fn(els: list of string): string; + rooted: fn(root: string, name: string): string; + relative: fn(name: string, root: string): string; +}; |
