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/main/filename-policy.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/main/filename-policy.sml

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

revision 297, Thu May 27 08:29:19 1999 UTC revision 354, Fri Jun 25 08:36:12 1999 UTC
# Line 1  Line 1 
 (* just a placeholder so far *)  
   
1  (*  (*
2   * A type representing different choices for file naming conventions.   * A type representing different choices for file naming conventions.
3   *   *
# Line 10  Line 8 
8  signature FILENAMEPOLICY = sig  signature FILENAMEPOLICY = sig
9    
10      type policy      type policy
11        type policyMaker = { arch: string, os: SMLofNJ.SysInfo.os_kind } -> policy
12    
13      val default : policy      val colocate : policyMaker
14        val separate : string -> policyMaker
15    
16      val mkBinPath : policy -> AbsPath.t -> AbsPath.t      val mkBinName : policy -> SrcPath.t -> string
17      val mkSkelPath : policy -> AbsPath.t -> AbsPath.t      val mkSkelName : policy -> SrcPath.t -> string
18      val mkStablePath : policy -> AbsPath.t -> AbsPath.t      val mkStableName : policy -> SrcPath.t -> string
19  end  end
20    
21  structure FilenamePolicy :> FILENAMEPOLICY = struct  functor FilenamePolicyFn (val cmdir : string
22                              val skeldir : string) :> FILENAMEPOLICY = struct
23    
24        type converter = SrcPath.t -> string
25    
26      type policy = Dummy.t      type policy = { bin: converter, skel: converter, stable: converter }
27        type policyMaker = { arch: string, os: SMLofNJ.SysInfo.os_kind } -> policy
28    
29        fun kind2name SMLofNJ.SysInfo.BEOS = "beos"
30          | kind2name SMLofNJ.SysInfo.MACOS = "macos"
31          | kind2name SMLofNJ.SysInfo.OS2 = "os2"
32          | kind2name SMLofNJ.SysInfo.UNIX = "unix"
33          | kind2name SMLofNJ.SysInfo.WIN32 = "win32"
34    
35        fun mkPolicy shiftname { arch, os } = let
36            fun cmname d s = let
37                val { dir = d0, file = f } = OS.Path.splitDirFile s
38                val d1 = OS.Path.joinDirFile { dir = d0, file = cmdir }
39                val d2 = OS.Path.joinDirFile { dir = d1, file = d }
40            in
41                OS.Path.joinDirFile { dir = d2, file = f }
42            end
43            val archos = concat [arch, "-", kind2name os]
44            val skel = cmname skeldir o SrcPath.osstring
45            val archosdep = cmname archos o shiftname
46        in
47            { skel = skel, bin = archosdep, stable = archosdep }
48        end
49    
50      val default = Dummy.v      val colocate = mkPolicy SrcPath.osstring
51    
52      fun cmpath (d, s) = let      fun separate root = let
53          val { dir = d0, file = f } = AbsPath.splitDirFile s          fun shiftname p =
54          val d1 = AbsPath.joinDirFile { dir = d0, file = "CM" }              case SrcPath.reAnchoredName (p, root) of
55          val d2 = AbsPath.joinDirFile { dir = d1, file = d }                  SOME s => s
56                  | NONE => (Say.say ["Failure: ", SrcPath.descr p,
57                                      " is not an anchored path!\n"];
58                             raise Fail "bad path")
59      in      in
60          AbsPath.joinDirFile { dir = d2, file = f }          mkPolicy shiftname
61      end      end
62    
63      fun mkBinPath _ s = cmpath ("bin", s)      fun mkBinName (p: policy) s = #bin p s
64      fun mkSkelPath _ s = cmpath ("SKEL", s)      fun mkSkelName (p: policy) s = #skel p s
65      fun mkStablePath _ s = cmpath ("bin", s)      fun mkStableName (p: policy) s = #stable p s
66  end  end
67    
68    structure FilenamePolicy =
69        FilenamePolicyFn (val cmdir = "NEWCM" val skeldir = "SKEL")

Legend:
Removed from v.297  
changed lines
  Added in v.354

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