Diff of /sml/trunk/src/cm/smlfile/smlinfo.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 32	Line 32
32	val exports : info -> SymbolSet.set	val exports : info -> SymbolSet.set
33	val skeleton : info -> Skeleton.decl	val skeleton : info -> Skeleton.decl
34
35	val describe : info -> string	(* different ways of describing an sml file using group and source *)
36		val spec : info -> string           (* sspec *)
37		val fullSpec : info -> string       (* gspec(sspec) *)
38		val name : info -> string           (* sname *)
39		val fullName : info -> string       (* gname(sspec) *)
40	end	end
41
42	structure SmlInfo :> SMLINFO = struct	structure SmlInfo :> SMLINFO = struct
#	Line 203	Line 207
207	NONE => Skeleton.SeqDecl []	NONE => Skeleton.SeqDecl []
208	| SOME sk => sk)	| SOME sk => sk)
209
210	fun describe (INFO { sourcepath, ... }) = AbsPath.name sourcepath	fun spec (INFO { sourcepath, ... }) = AbsPath.spec sourcepath
211		fun fullSpec (INFO { group, sourcepath, ... }) =
212		concat [AbsPath.spec group, "(", AbsPath.spec sourcepath, ")"]
213		fun name (INFO { sourcepath, ... }) = AbsPath.name sourcepath
214		fun fullName (INFO { group, sourcepath, ... }) =
215		concat [AbsPath.name group, "(", AbsPath.spec sourcepath, ")"]
216	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