Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/compiler/Execution/binfile/binfile.sig
ViewVC logotype

Diff of /sml/trunk/src/compiler/Execution/binfile/binfile.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1057, Fri Feb 8 17:31:02 2002 UTC revision 1058, Fri Feb 8 20:02:56 2002 UTC
# Line 22  Line 22 
22      type pickle = { pid: pid, pickle: Word8Vector.vector }      type pickle = { pid: pid, pickle: Word8Vector.vector }
23    
24      val staticPidOf    : bfContents -> pid      val staticPidOf    : bfContents -> pid
25        val fingerprintOf  : bfContents -> pid
26      val exportPidOf    : bfContents -> pid option      val exportPidOf    : bfContents -> pid option
27      val lambdaPidOf    : bfContents -> pid      val lambdaPidOf    : bfContents -> pid
28      val cmDataOf       : bfContents -> pid list      val cmDataOf       : bfContents -> pid list
# Line 29  Line 30 
30      val senvPickleOf   : bfContents -> pickle      val senvPickleOf   : bfContents -> pickle
31      val lambdaPickleOf : bfContents -> pickle      val lambdaPickleOf : bfContents -> pickle
32    
33        val pepperOf       : bfContents -> string
34    
35      (* calculate the size in bytes occupied by some binfile contents *)      (* calculate the size in bytes occupied by some binfile contents *)
36      val size : { contents: bfContents, nopickle: bool } -> int      val size : { contents: bfContents, nopickle: bool } -> int
37    
# Line 36  Line 39 
39      val create : { imports: ImportTree.import list,      val create : { imports: ImportTree.import list,
40                     exportPid: pid option,                     exportPid: pid option,
41                     cmData: pid list,                     cmData: pid list,
42                       fingerprint: pid,
43                     senv: pickle,                     senv: pickle,
44                     lambda: pickle,                     lambda: pickle,
45                       pepper: string,
46                     csegments: CodeObj.csegments } -> bfContents                     csegments: CodeObj.csegments } -> bfContents
47    
48        (* read fingerprint-related info from binfile *)
49        val readFingerprintInfo :
50            BinIO.instream -> { staticPid: pid, fingerprint: pid, pepper: string }
51    
52      (* read binfile contents from an IO stream *)      (* read binfile contents from an IO stream *)
53      val read : { arch: string, version: int list, stream: BinIO.instream }      val read : { arch: string, version: int list, stream: BinIO.instream }
54                 -> { contents: bfContents, stats: stats }                 -> { contents: bfContents, stats: stats }

Legend:
Removed from v.1057  
changed lines
  Added in v.1058

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