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/main/private-tools.sig
ViewVC logotype

View of /sml/trunk/src/cm/tools/main/private-tools.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 873 - (download) (as text) (annotate)
Mon Jul 9 15:26:20 2001 UTC (18 years, 4 months ago) by blume
File size: 716 byte(s)
made ml-nlffigen handle varargs functions with a bit more grace;
some minor internal improvements to CM
(*
 * A private interface to CM's tools mechanism to be used internally
 * by CM itself.
 *
 *   (C) 2000 Lucent Technologies, Bell Laboratories
 *
 * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
 *)
signature PRIVATETOOLS = sig
    include CORETOOLS where type srcpath = SrcPath.file
		      where type presrcpath = SrcPath.prefile

    type registry

    val newRegistry : unit -> registry

    val expand : { error: string -> unit,
		   local_registry : registry,
		   spec: spec,
		   context: SrcPath.dir,
		   load_plugin: SrcPath.dir -> string -> bool,
		   sysinfo: { symval: string -> int option,
			      archos: string } }
	-> expansion

    val withPlugin : SrcPath.file -> (unit -> 'a) -> 'a
end

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