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/cm/stable/bininfo.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/stable/bininfo.sml

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

revision 386, Thu Jul 22 07:35:50 1999 UTC revision 387, Mon Jul 26 02:44:20 1999 UTC
# Line 19  Line 19 
19                  error: complainer,                  error: complainer,
20                  spec: string,                  spec: string,
21                  offset: int,                  offset: int,
22                  share: bool option } -> info                  sh_mode: Sharing.mode } -> info
23    
24      val compare : info * info -> order      val compare : info * info -> order
25      val describe : info -> string      val describe : info -> string
26      val offset : info -> int      val offset : info -> int
27      val group : info -> SrcPath.t      val group : info -> SrcPath.t
28      val stablename : info -> string      val stablename : info -> string
29      val share : info -> bool option      val sh_mode : info -> Sharing.mode
30      val error : info -> complainer      val error : info -> complainer
31  end  end
32    
# Line 40  Line 40 
40                    mkStablename: unit -> string,                    mkStablename: unit -> string,
41                    spec: string,                    spec: string,
42                    offset: int,                    offset: int,
43                    share: bool option,                    sh_mode: Sharing.mode,
44                    error: complainer }                    error: complainer }
45    
46      type ord_key = info      type ord_key = info
# Line 57  Line 57 
57    
58      fun group (INFO { group = g, ... }) = g      fun group (INFO { group = g, ... }) = g
59      fun offset (INFO { offset = os, ... }) = os      fun offset (INFO { offset = os, ... }) = os
60      fun share (INFO { share = s, ... }) = s      fun sh_mode (INFO { sh_mode = s, ... }) = s
61      fun stablename (INFO { mkStablename = msn, ... }) = msn ()      fun stablename (INFO { mkStablename = msn, ... }) = msn ()
62    
63      fun error (INFO { error = e, ... }) = e      fun error (INFO { error = e, ... }) = e

Legend:
Removed from v.386  
changed lines
  Added in v.387

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