Diff of /sml/trunk/src/cm/depend/graph.sml

Parent Directory | Revision Log | Patch

	revision 279, Tue May 18 08:10:36 1999 UTC	revision 280, Tue May 18 09:05:13 1999 UTC
#	Line 22	Line 22
22	FARNODE of filter * node	FARNODE of filter * node
23	| PNODE of primitive	| PNODE of primitive
24
	(* the filter is duplicated in each member of the map to
	* make it easier to build the global graph *)
	datatype gnode =
	GNODE of { groupinfo: groupinfo,
	imports: gnode list,
	filter: filter,
	exports: farnode SymbolMap.map,
	dangling: node list }
25	(* environments used for dependency analysis *)	(* environments used for dependency analysis *)
26	datatype env =	datatype env =
27	EMPTY	EMPTY
#	Line 41	Line 32
32
33	withtype value = env	withtype value = env
34
35	fun describeNode (NODE { smlinfo, ... }) = SmlInfo.describe smlinfo	fun describeFarNode (FARNODE (f, NODE { smlinfo = i, ... })) =
36		SmlInfo.fullName i
37	fun describeFarNode (farn: farnode) = (ignore Dummy.v; "blah")	| describeFarNode (PNODE p) = Primitive.toString p
38	end	end

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.279   changed lines   Added in v.280

---

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