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 1136, Tue Mar 12 19:44:02 2002 UTC revision 1137, Tue Mar 12 22:28:55 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
     val fingerprintOf  : bfContents -> pid  
25      val exportPidOf    : bfContents -> pid option      val exportPidOf    : bfContents -> pid option
26      val lambdaPidOf    : bfContents -> pid      val lambdaPidOf    : bfContents -> pid
27      val cmDataOf       : bfContents -> pid list      val cmDataOf       : bfContents -> pid list
# Line 30  Line 29 
29      val senvPickleOf   : bfContents -> pickle      val senvPickleOf   : bfContents -> pickle
30      val lambdaPickleOf : bfContents -> pickle      val lambdaPickleOf : bfContents -> pickle
31    
32      val pepperOf       : bfContents -> string      val guidOf         : bfContents -> string
33    
34      (* calculate the size in bytes occupied by some binfile contents *)      (* calculate the size in bytes occupied by some binfile contents *)
35      val size : { contents: bfContents, nopickle: bool } -> int      val size : { contents: bfContents, nopickle: bool } -> int
# Line 39  Line 38 
38      val create : { imports: ImportTree.import list,      val create : { imports: ImportTree.import list,
39                     exportPid: pid option,                     exportPid: pid option,
40                     cmData: pid list,                     cmData: pid list,
                    fingerprint: pid,  
41                     senv: pickle,                     senv: pickle,
42                     lambda: pickle,                     lambda: pickle,
43                     pepper: string,                     guid: string,
44                     csegments: CodeObj.csegments } -> bfContents                     csegments: CodeObj.csegments } -> bfContents
45    
46      (* read fingerprint-related info from binfile *)      (* read just the guid *)
47      val readFingerprintInfo :      val readGUid : BinIO.instream -> string
         BinIO.instream -> { staticPid: pid, fingerprint: pid, pepper: string }  
48    
49      (* read binfile contents from an IO stream *)      (* read binfile contents from an IO stream *)
50      val read : { arch: string, version: int list, stream: BinIO.instream }      val read : { arch: string, version: int list, stream: BinIO.instream }

Legend:
Removed from v.1136  
changed lines
  Added in v.1137

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