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/paths/srcpath.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/paths/srcpath.sml

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

revision 366, Fri Jul 2 14:13:29 1999 UTC revision 367, Sat Jul 3 04:59:01 1999 UTC
# Line 12  Line 12 
12   * Author: Matthias Blume (blume@cs.princeton.edu)   * Author: Matthias Blume (blume@cs.princeton.edu)
13   *)   *)
14  signature SRCPATH = sig  signature SRCPATH = sig
15    
16        exception Format        (* if something is seriously wrong with a pickle *)
17        exception BadAnchor of string       (* if anchor cannot be resolved *)
18    
19      type context      type context
20      type t      type t
21      type ord_key = t      type ord_key = t
# Line 44  Line 48 
48      val standard : PathConfig.mode -> { context: context, spec: string } -> t      val standard : PathConfig.mode -> { context: context, spec: string } -> t
49    
50      val pickle : (bool -> unit) -> t * t -> string list      val pickle : (bool -> unit) -> t * t -> string list
51      val unpickle : PathConfig.mode -> string list * t -> t option      val unpickle : PathConfig.mode -> string list * t -> t
52    
53      val tstamp : t -> TStamp.t      val tstamp : t -> TStamp.t
54  end  end
55    
56  structure SrcPath :> SRCPATH = struct  structure SrcPath :> SRCPATH = struct
57    
58        exception Format = AbsPath.Format
59        exception BadAnchor = AbsPath.BadAnchor
60    
61      type context = AbsPath.context      type context = AbsPath.context
62      type t = AbsPath.t * int      type t = AbsPath.t * int
63      type ord_key = t      type ord_key = t
# Line 94  Line 101 
101      val cwdContext = AbsPath.cwdContext      val cwdContext = AbsPath.cwdContext
102    
103      fun pickle warn ((ap, _), (cap, _)) = AbsPath.pickle warn (ap, cap)      fun pickle warn ((ap, _), (cap, _)) = AbsPath.pickle warn (ap, cap)
104      fun unpickle m (l, (cap, _)) =      fun unpickle m (l, (cap, _)) = intern (AbsPath.unpickle m (l, cap))
         Option.map intern (AbsPath.unpickle m (l, cap))  
105  end  end

Legend:
Removed from v.366  
changed lines
  Added in v.367

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