Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/paths/pathconfig.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/paths/pathconfig.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 265, Fri May 7 08:42:54 1999 UTC revision 318, Mon Jun 7 09:32:09 1999 UTC
# Line 1  Line 1 
1  (* just a placeholder so far *)  (* just a placeholder so far *)
2    
3    (*
4     * Configurable path anchors for new CM.
5     *
6     * (C) 1999 Lucent Technologies, Bell Laboratories
7     *
8     * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
9     *)
10    
11  signature PATHCONFIG = sig  signature PATHCONFIG = sig
12      val configAnchor : string -> (unit -> string) option      type mode
13    
14        val default : mode
15    
16        val configAnchor : mode -> string -> (unit -> string) option
17  end  end
18    
19    (*
20     * The names of config anchors must be names of actual files.
21     * Function configAnchor will map the name of the anchor to
22     * the directory that contains the corresponding file.
23     *)
24  structure PathConfig :> PATHCONFIG = struct  structure PathConfig :> PATHCONFIG = struct
25        type mode = Dummy.t
26    
27        val default = Dummy.v
28    
29      (* this is bogus -- should not be hard-wired like this *)      (* this is bogus -- should not be hard-wired like this *)
30      fun configAnchor "basis" = SOME (fn () => "/usr/local/smlnj/lib/basis")      fun configAnchor _ "smlnj-lib.cm" =
31        | configAnchor "smlnj" = SOME (fn () => "/usr/local/smlnj/lib")          SOME (fn () => "/home/blume/ML/current/lib")
32        | configAnchor _ = NONE        | configAnchor _ _ = NONE
33  end  end

Legend:
Removed from v.265  
changed lines
  Added in v.318

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0