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/branches/SMLNJ/src/compiler/TopLevel/batch/batchutil.sig
ViewVC logotype

View of /sml/branches/SMLNJ/src/compiler/TopLevel/batch/batchutil.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 16 - (download) (as text) (annotate)
Wed Mar 11 21:00:04 1998 UTC (23 years, 8 months ago) by monnier
Original Path: sml/trunk/src/compiler/TopLevel/batch/batchutil.sig
File size: 1783 byte(s)
Initial revision
(* 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 = SCEnv.Env.staticEnv
    type symenv = SCEnv.Env.symenv
    type denv = SCEnv.Env.dynenv
    type env = SCEnv.Env.environment

    type csegments = {c0: Word8Vector.vector, 
                      cn: Word8Vector.vector list, 
                      name: string option ref}

    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 *)

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