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/compiler/TopLevel/batch/binfile.sig
ViewVC logotype

View of /sml/trunk/src/compiler/TopLevel/batch/binfile.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 592 - (download) (as text) (annotate)
Mon Apr 3 07:04:12 2000 UTC (19 years, 6 months ago) by blume
File size: 1138 byte(s)
merging branch blume_devel_v110p26p2_1 (elimination of corenv)
(* COPYRIGHT (c) 1997 Bell Labs, Lucent Technologies *)
(* binfile.sig *)

signature BINFILE = sig

    exception FormatError

    exception Compile of string
    exception TopLevelException of exn
    exception SilentException

    type bfContent

    type pid = PersStamps.persstamp
    type senv = StaticEnv.staticEnv
    type symenv = SymbolicEnv.symenv
    type denv = DynamicEnv.dynenv
    type env = Environment.environment

    val staticPidOf: bfContent -> pid
    val exportPidOf: bfContent -> pid option
    val lambdaPidOf: bfContent -> pid
    val cmDataOf: bfContent -> pid list
    val senvOf: bfContent -> senv
    val symenvOf: bfContent -> symenv

    val size: { content: bfContent, nopickle: bool } -> int

    val create: { splitting: bool,
		  cmData: pid list,
		  ast: Ast.dec,
		  source: Source.inputSource,
		  senv:  senv,
		  symenv: symenv }
	-> bfContent

    val read:
	{ name: string, stream: BinIO.instream, modmap: ModuleId.tmap } ->
	bfContent

    val write:
	{ stream: BinIO.outstream, content: bfContent, nopickle: bool } -> unit

    val exec: bfContent * denv -> denv
end (* signature BINFILE *)


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