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 104 - (download) (as text) (annotate)
Thu May 28 21:25:35 1998 UTC (22 years, 2 months ago) by monnier
File size: 1568 byte(s)
Initial revision
(* 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
    val makePid: senv * senv -> pid
end (* signature BINFILE *)

(*
 * $Log: binfile.sig,v $
 * Revision 1.1  1998/05/22 15:14:58  jhr
 *   Changed name of batchutil.{sig,sml} to binfile.{sig,sml}
 *
 * Revision 1.1.1.1  1998/04/08 18:39:15  george
 * Version 110.5
 *
 *)

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