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

Parent Directory | Revision Log | Patch

	revision 352, Wed Jun 23 09:27:27 1999 UTC	revision 353, Thu Jun 24 09:43:28 1999 UTC
#	Line 11	Line 11
11	type policyMaker = { arch: string, os: SMLofNJ.SysInfo.os_kind } -> policy	type policyMaker = { arch: string, os: SMLofNJ.SysInfo.os_kind } -> policy
12
13	val colocate : policyMaker	val colocate : policyMaker
14	val separate : AbsPath.t -> policyMaker	val separate : string -> policyMaker
15
16	val mkBinPath : policy -> AbsPath.t -> AbsPath.t	val mkBinPath : policy -> AbsPath.t -> AbsPath.t
17	val mkSkelPath : policy -> AbsPath.t -> AbsPath.t	val mkSkelPath : policy -> AbsPath.t -> AbsPath.t
#	Line 49	Line 49
49	val colocate = mkPolicy (fn p => p)	val colocate = mkPolicy (fn p => p)
50
51	fun separate root = let	fun separate root = let
	val root = AbsPath.relativeContext root
52	fun shift p =	fun shift p =
53	case AbsPath.reAnchor (p, root) of	case AbsPath.reAnchor (p, root) of
54	SOME p' => p'	SOME p' => p'

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.352   changed lines   Added in v.353

---

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