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 353, Thu Jun 24 09:43:28 1999 UTC revision 354, Fri Jun 25 08:36:12 1999 UTC
# Line 14  Line 14 
14      type complainer = GenericVC.ErrorMsg.complainer      type complainer = GenericVC.ErrorMsg.complainer
15      type region = GenericVC.SourceMap.region      type region = GenericVC.SourceMap.region
16    
17      val new : { group: AbsPath.t,      val new : { group: SrcPath.t,
18                  stablepath: AbsPath.t,                  stablename: string,
19                  error: complainer,                  error: complainer,
20                  spec: string,                  spec: string,
21                  offset: int,                  offset: int,
# Line 24  Line 24 
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 -> AbsPath.t      val group : info -> SrcPath.t
28      val stablepath : info -> AbsPath.t      val stablename : info -> string
29      val share : info -> bool option      val share : info -> bool option
30      val error : info -> complainer      val error : info -> complainer
31  end  end
# Line 36  Line 36 
36      type region = GenericVC.SourceMap.region      type region = GenericVC.SourceMap.region
37    
38      datatype info =      datatype info =
39          INFO of { group: AbsPath.t,          INFO of { group: SrcPath.t,
40                    stablepath: AbsPath.t,                    stablename: string,
41                    spec: string,                    spec: string,
42                    offset: int,                    offset: int,
43                    share: bool option,                    share: bool option,
# Line 49  Line 49 
49    
50      fun compare (INFO i, INFO i') =      fun compare (INFO i, INFO i') =
51          case Int.compare (#offset i, #offset i') of          case Int.compare (#offset i, #offset i') of
52              EQUAL => AbsPath.compare (#group i, #group i')              EQUAL => SrcPath.compare (#group i, #group i')
53            | unequal => unequal            | unequal => unequal
54    
55      fun describe (INFO { group, spec, offset, ... }) =      fun describe (INFO { group, spec, offset, ... }) =
56          concat [AbsPath.name group, "@", Int.toString offset, "(", spec, ")"]          concat [SrcPath.descr group, "@", Int.toString offset, "(", spec, ")"]
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 share (INFO { share = s, ... }) = s
61      fun stablepath (INFO { stablepath = sp, ... }) = sp      fun stablename (INFO { stablename = sn, ... }) = sn
62    
63      fun error (INFO { error = e, ... }) = e      fun error (INFO { error = e, ... }) = e
64  end  end

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

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