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

Parent Directory | Revision Log | Patch

	revision 651, Thu Jun 1 18:34:03 2000 UTC	revision 652, Tue Jun 6 02:14:56 2000 UTC
#	Line 21	Line 21
21	val verify' : GP.info -> exportmap	val verify' : GP.info -> exportmap
22	-> SrcPath.t *                  (* grouppath *)	-> SrcPath.t *                  (* grouppath *)
23	DG.sbnode list *             (* export_nodes *)	DG.sbnode list *             (* export_nodes *)
24	(SrcPath.t * GG.group) list * (* sublibs *)	GG.subgrouplist *            (* sublibs *)
25	SrcPathSet.set *             (* groups *)	SrcPathSet.set *             (* groups *)
26	Version.t option	Version.t option
27	-> bool	-> bool
#	Line 51	Line 51
51	| _ => true	| _ => true
52	end	end
53
54	fun nonstabSublib (_, GG.GROUP { kind = GG.LIB { kind = GG.STABLE _,	fun nonstabSublib (_, gth) =
55	... }, ... }) = false	case gth () of
56	| nonstabSublib _ = true	GG.GROUP { kind = GG.LIB { kind = GG.STABLE _,
57		... }, ... } => false
58		| _ => true
59
60	fun invalidGroup stab_t p =	fun invalidGroup stab_t p =
61	case SrcPath.tstamp p of	case SrcPath.tstamp p of
#	Line 89	Line 91
91	case kind of	case kind of
92	GG.NOLIB _ => NONE	GG.NOLIB _ => NONE
93	| GG.LIB { version, ... } => version	| GG.LIB { version, ... } => version
94		fun force f = f ()
95	in	in
96	verify' gp em (grouppath,	verify' gp em (grouppath,
97	map (#2 o #1) (SymbolMap.listItems exports),	map (#2 o force o #1) (SymbolMap.listItems exports),
98	sublibs, groups, version)	sublibs, groups, version)
99	end	end
100	end	end

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.651   changed lines   Added in v.652

---

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