Diff of /sml/trunk/src/cm/semant/members.sml

Parent Directory | Revision Log | Patch

	revision 267, Sat May 8 13:53:45 1999 UTC	revision 268, Mon May 10 07:00:02 1999 UTC
#	Line 14	Line 14
14	signature MEMBERCOLLECTION = sig	signature MEMBERCOLLECTION = sig
15
16	type collection	type collection
	type environment
17
	val empty : collection
18	val expandOne : AbsPath.t * string option -> collection	val expandOne : AbsPath.t * string option -> collection
19	val sequential : collection * collection -> collection	val sequential : collection * collection -> collection
20
21	val envOf : collection -> environment	val num_look : collection -> string -> int
22		val ml_look : collection -> GenericVC.Symbol.symbol -> bool
23	val num_look : environment -> string -> int	val cm_look : collection -> string -> bool
	val ml_look : environment -> GenericVC.Symbol.symbol -> bool
	val cm_look : environment -> string -> bool
24	end	end
25
26	structure MemberCollection :> MEMBERCOLLECTION = struct	structure MemberCollection :> MEMBERCOLLECTION = struct
27
28	type collection = unit	type collection = unit
	type environment = unit
29
	val empty = ()
30	fun expandOne (f: AbsPath.t, c: string option) = ()	fun expandOne (f: AbsPath.t, c: string option) = ()
31	fun sequential (c1: collection, c2: collection) = ()	fun sequential (c1: collection, c2: collection) = ()
32
33	fun envOf (c: collection) = ()	fun num_look (c: collection) (s: string) = 0
34		fun ml_look (c: collection) (s: GenericVC.Symbol.symbol) = false
35	fun num_look (e: environment) (s: string) = 0	fun cm_look (c: collection) (s: string) = false
	fun ml_look (e: environment) (s: GenericVC.Symbol.symbol) = false
	fun cm_look (e: environment) (s: string) = false
36	end	end

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.267   changed lines   Added in v.268

---

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