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/smlfile/smlinfo.sml
[smlnj] / sml / trunk / src / cm / smlfile / smlinfo.sml  
ViewVC logotype

Diff of /sml/trunk/src/cm/smlfile/smlinfo.sml

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

revision 278, Mon May 17 14:53:49 1999 UTC revision 279, Tue May 18 08:10:36 1999 UTC
# Line 15  Line 15 
15    
16      val resync : unit -> unit      val resync : unit -> unit
17    
18        val eq : info * info -> bool        (* compares sourcepaths *)
19        val compare : info * info -> order  (* compares sourcepaths *)
20    
21      val info : policy ->      val info : policy ->
22          { sourcepath: AbsPath.t,          { sourcepath: AbsPath.t,
23            group: AbsPath.t,            group: AbsPath.t,
# Line 27  Line 30 
30      val error : info -> string -> (PrettyPrint.ppstream -> unit) -> unit      val error : info -> string -> (PrettyPrint.ppstream -> unit) -> unit
31    
32      val exports : info -> SymbolSet.set      val exports : info -> SymbolSet.set
33        val skeleton : info -> Skeleton.decl
34    
35      val describe : info -> string      val describe : info -> string
36  end  end
37    
# Line 60  Line 65 
65      fun sourcepath (INFO { sourcepath = sp, ... }) = sp      fun sourcepath (INFO { sourcepath = sp, ... }) = sp
66      fun error (INFO { error = e, ... }) = e      fun error (INFO { error = e, ... }) = e
67    
68        fun compare (INFO { sourcepath = p, ... }, INFO { sourcepath = p', ... }) =
69            AbsPath.compare (p, p')
70        fun eq (i, i') = compare (i, i') = EQUAL
71    
72      (* If files change their file ids, then CM will be seriously      (* If files change their file ids, then CM will be seriously
73       * disturbed because the ordering relation will change.       * disturbed because the ordering relation will change.
74       * We'll asume that this won't happen in general.  However, we provide       * We'll asume that this won't happen in general.  However, we provide
# Line 188  Line 197 
197               NONE => SymbolSet.empty               NONE => SymbolSet.empty
198             | SOME sk => SkelExports.exports sk)             | SOME sk => SkelExports.exports sk)
199    
200        fun skeleton i =
201            (validate i;
202             case getSkeleton i of
203                 NONE => Skeleton.SeqDecl []
204               | SOME sk => sk)
205    
206      fun describe (INFO { sourcepath, ... }) = AbsPath.name sourcepath      fun describe (INFO { sourcepath, ... }) = AbsPath.name sourcepath
207  end  end
Legend:
Removed from v.278  
changed lines
  Added in v.279
root@smlnj-gforge.cs.uchicago.edu
 ViewVC Help
Powered by ViewVC 1.0.0  
Powered By FusionForge