Diff of /sml/trunk/src/cm/stable/stabilize.sml

Parent Directory | Revision Log | Patch

	revision 322, Tue Jun 8 09:36:16 1999 UTC	revision 323, Wed Jun 9 06:16:22 1999 UTC
#	Line 82	Line 82
82
83	fun stabilize gp { group = g as GG.GROUP grec, anyerrors } = let	fun stabilize gp { group = g as GG.GROUP grec, anyerrors } = let
84
85		val primconf = #primconf (#param gp)
86		val policy = #fnpolicy (#param gp)
87
88	fun doit granted = let	fun doit granted = let
89
90	val _ =	val _ =
#	Line 221	Line 224
224	(w_sharing (SmlInfo.share i) k)))	(w_sharing (SmlInfo.share i) k)))
225	end	end
226
227	fun w_primitive p k m = String.str (Primitive.toIdent p) :: k m	fun w_primitive p k m =
228		String.str (Primitive.toIdent primconf p) :: k m
229
230	fun w_abspath_raw p k m = w_list w_string (AbsPath.pickle p) k m	fun w_abspath_raw p k m = w_list w_string (AbsPath.pickle p) k m
231
#	Line 322	Line 326
326	end	end
327	val memberlist = rev (!members)	val memberlist = rev (!members)
328
	val policy = #fnpolicy (#param gp)
329	val gpath = #grouppath grec	val gpath = #grouppath grec
330	val spath = FilenamePolicy.mkStablePath policy gpath	val spath = FilenamePolicy.mkStablePath policy gpath
331	fun delete () = deleteFile (AbsPath.name spath)	fun delete () = deleteFile (AbsPath.name spath)
#	Line 399	Line 402
402
403	val pcmode = #pcmode (#param gp)	val pcmode = #pcmode (#param gp)
404	val policy = #fnpolicy (#param gp)	val policy = #fnpolicy (#param gp)
405		val primconf = #primconf (#param gp)
406	val spath = FilenamePolicy.mkStablePath policy group	val spath = FilenamePolicy.mkStablePath policy group
407	val _ = Say.vsay ["[checking stable ", gname, "]\n"]	val _ = Say.vsay ["[checking stable ", gname, "]\n"]
408	val s = AbsPath.openBinIn spath	val s = AbsPath.openBinIn spath
#	Line 538	Line 542
542	val r_filter = r_option r_ss	val r_filter = r_option r_ss
543
544	fun r_primitive () =	fun r_primitive () =
545	case Primitive.fromIdent (rd ()) of	case Primitive.fromIdent primconf (rd ()) of
546	NONE => raise Format	NONE => raise Format
547	| SOME p => p	| SOME p => p
548

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.322   changed lines   Added in v.323

---

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