Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/cm/smlfile/smlinfo.sml
ViewVC logotype

View of /sml/trunk/src/cm/smlfile/smlinfo.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 272 - (download) (annotate)
Wed May 12 07:09:28 1999 UTC (20 years, 8 months ago) by blume
File size: 704 byte(s)
implementation of Tools mechanism added
signature SMLINFO = sig

    type info

    type fileoffset = AbsPath.t * int
    type stableinfo = { skeleton: Skeleton.decl, binary: fileoffset }

    val new : { sourcepath: AbsPath.t,
	        group: AbsPath.t,
	        history: string list,
		share: bool option,
		stableinfo: stableinfo option }
	-> info

    val exports : info -> SymbolSet.set
    val describe : info -> string
end

structure SmlInfo :> SMLINFO = struct

    type info = Dummy.t

    type fileoffset = AbsPath.t * int
    type stableinfo = { skeleton: Skeleton.decl, binary: fileoffset }

    fun new { sourcepath, group, history, share, stableinfo } = Dummy.v

    fun exports i = Dummy.f ()
    fun describe i = Dummy.f ()
end

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