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 354, Fri Jun 25 08:36:12 1999 UTC revision 361, Wed Jun 30 06:44:04 1999 UTC
# Line 15  Line 15 
15      type region = GenericVC.SourceMap.region      type region = GenericVC.SourceMap.region
16    
17      val new : { group: SrcPath.t,      val new : { group: SrcPath.t,
18                  stablename: string,                  mkStablename: unit -> string,
19                  error: complainer,                  error: complainer,
20                  spec: string,                  spec: string,
21                  offset: int,                  offset: int,
# Line 37  Line 37 
37    
38      datatype info =      datatype info =
39          INFO of { group: SrcPath.t,          INFO of { group: SrcPath.t,
40                    stablename: string,                    mkStablename: unit -> string,
41                    spec: string,                    spec: string,
42                    offset: int,                    offset: int,
43                    share: bool option,                    share: bool option,
# Line 58  Line 58 
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 share (INFO { share = s, ... }) = s
61      fun stablename (INFO { stablename = sn, ... }) = sn      fun stablename (INFO { mkStablename = msn, ... }) = msn ()
62    
63      fun error (INFO { error = e, ... }) = e      fun error (INFO { error = e, ... }) = e
64  end  end

Legend:
Removed from v.354  
changed lines
  Added in v.361

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