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/tools/tools.sml
ViewVC logotype

View of /sml/trunk/src/cm/tools/tools.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 270 - (download) (annotate)
Tue May 11 07:45:42 1999 UTC (21 years, 4 months ago) by blume
File size: 611 byte(s)
semant/members.sml should be fairly complete now
signature TOOLS = sig

    type primitive = Dummy.t

    type smlsource =
	{ sourcepath: AbsPath.t, history: string, share: bool option }

    datatype expansion =
	PRIMITIVE of primitive
      | SMLSOURCE of smlsource
      | GROUP of AbsPath.t

    val expand : AbsPath.t * string option -> expansion list
end

structure Tools :> TOOLS = struct

    type primitive = Dummy.t

    type smlsource =
	{ sourcepath: AbsPath.t, history: string, share: bool option }

    datatype expansion =
	PRIMITIVE of primitive
      | SMLSOURCE of smlsource
      | GROUP of AbsPath.t

    fun expand (p, c) = Dummy.f ()
end

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