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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 101 - (download) (as text) (annotate)
Thu May 14 04:56:46 1998 UTC (22 years ago) by monnier
File size: 1782 byte(s)
This commit was generated by cvs2svn to compensate for changes in r100,
which included commits to RCS files with non-trunk default branches.
(* COPYRIGHT (c) 1997 Bell Labs, Lucent Technologies *)
(* batchutil.sig *)

signature BATCHUTIL =
  sig
    exception FormatError
    exception NoCodeBug

    type 'iid cunit
    type pid = PersStamps.persstamp

    type senv = CMEnv.Env.staticEnv
    type symenv = CMEnv.Env.symenv
    type denv = CMEnv.Env.dynenv
    type env = CMEnv.Env.environment

    type csegments = CompBasic.csegments

    val readUnit: { name: string,
                    stream: BinIO.instream,
		    pids2iid: pid list -> 'iid,
		    senv: senv,
		    keep_code: bool }
	-> 'iid cunit
    val writeUnit: { stream: BinIO.outstream,
		     cunit: 'iid cunit,
		     keep_code: bool,
		     iid2pids: 'iid -> pid list }
	-> unit

    val staticPidCU: 'iid cunit -> pid
    val lambdaPidCU: 'iid cunit -> pid
    val senvCU: 'iid cunit -> senv
    val symenvCU: 'iid cunit -> symenv
    val envCU: 'iid cunit -> env option ref
    val referencesCU: 'iid cunit -> 'iid
    val nocodeCU: 'iid cunit -> bool
    val exportCU: 'iid cunit -> pid option
    val discardCode: 'iid cunit -> unit

    exception Compile of string
    exception TopLevelException of exn
    exception SilentException
    val arch :  string
    val parse: Source.inputSource -> Ast.dec
    val makePid: senv * senv -> pid
    val makeUnit: { runtimePid: pid option,
                    splitting: bool,
                    references: 'iid,
                    ast: Ast.dec,
                    source: Source.inputSource,
                    senv:  senv,
                    symenv: symenv,
                    corenv: EnvRef.staticEnv } -> 'iid cunit
    val execUnit: 'iid cunit * denv -> env

  end (* signature BATCHUTIL *)

(*
 * $Log: batchutil.sig,v $
 * 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