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 168 - (download) (as text) (annotate)
Sat Nov 7 20:11:41 1998 UTC (21 years, 4 months ago) by monnier
File size: 1434 byte(s)
This commit was generated by cvs2svn to compensate for changes in r167,
which included commits to RCS files with non-trunk default branches.
(* COPYRIGHT (c) 1997 Bell Labs, Lucent Technologies *)
(* binfile.sig *)

signature BINFILE = sig

    exception FormatError
    exception NoCodeBug
    exception NoPickleBug

    exception Compile of string
    exception TopLevelException of exn
    exception SilentException

    type bfContent

    type pid = PersStamps.persstamp
    type senv = CMEnv.Env.staticEnv
    type symenv = CMEnv.Env.symenv
    type denv = CMEnv.Env.dynenv
    type env = CMEnv.Env.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 discardCode: bfContent -> unit
    val noCode: bfContent -> bool

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

    val read: { name: string,
	        stream: BinIO.instream,
		senv: senv,
		keep_code: bool }
	-> bfContent

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

    val exec: bfContent * denv -> env

    val parse: Source.inputSource -> Ast.dec
end (* signature BINFILE *)

 * $Log: binfile.sig,v $
 * Revision 1.2  1998/05/23 14:10:20  george
 *   Fixed RCS keyword syntax

ViewVC Help
Powered by ViewVC 1.0.0