SCM Repository
Diff of /sml/trunk/src/cm/paths/pathconfig.sml
Parent Directory
|
Revision Log
|
Patch
revision 308, Wed Jun 2 01:26:19 1999 UTC | revision 309, Wed Jun 2 03:21:57 1999 UTC | |
---|---|---|
# | Line 12 | Line 12 |
12 | val configAnchor : string -> (unit -> string) option | val configAnchor : string -> (unit -> string) option |
13 | end | end |
14 | ||
15 | (* | |
16 | * The names of config anchors must be names of actual files. | |
17 | * Function configAnchor will map the name of the anchor to | |
18 | * the directory that contains the corresponding file. | |
19 | *) | |
20 | structure PathConfig :> PATHCONFIG = struct | structure PathConfig :> PATHCONFIG = struct |
21 | (* this is bogus -- should not be hard-wired like this *) | (* this is bogus -- should not be hard-wired like this *) |
22 | fun configAnchor "smlnj" = SOME (fn () => "/home/blume/ML/current/lib") | fun configAnchor "smlnj-lib.cm" = |
23 | SOME (fn () => "/home/blume/ML/current/lib") | |
24 | | configAnchor _ = NONE | | configAnchor _ = NONE |
25 | end | end |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |