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/compile/traversal.sig
ViewVC logotype

View of /sml/trunk/src/cm/compile/traversal.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 369 - (download) (as text) (annotate)
Sun Jul 4 12:55:20 1999 UTC (20 years, 3 months ago) by blume
File size: 835 byte(s)
bfc_fetch_xxx bogosity eliminated; more fleshing out of CM
(*
 * The result signature of the "generic" compilation traversal functor.
 *
 * (C) 1999 Lucent Technologies, Bell Laboratories
 *
 * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
 *)
local
    structure GP = GeneralParams
    structure DG = DependencyGraph
    structure GG = GroupGraph
in
    signature TRAVERSAL = sig
	type envdelta
	type result

	val bnode : GP.info -> DG.bnode -> envdelta option
	val group : GP.info -> GG.group -> result option
	val impexpmap :
	    GP.info -> DependencyGraph.impexp SymbolMap.map -> result option

	(* If you go through the "sbnode" or "snode" interface, then
	 * you must reset explicitly when you are done. *)
	val sbnode : GP.info -> DG.sbnode -> envdelta option
	val snode : GP.info -> DG.snode -> envdelta option
	val reset : unit -> unit

	val resetAll : unit -> unit
    end
end

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