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

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

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

revision 632, Sat Apr 29 15:50:42 2000 UTC revision 652, Tue Jun 6 02:14:56 2000 UTC
# Line 21  Line 21 
21      val verify' : GP.info -> exportmap      val verify' : GP.info -> exportmap
22          -> SrcPath.t *                  (* grouppath *)          -> SrcPath.t *                  (* grouppath *)
23             DG.sbnode list *             (* export_nodes *)             DG.sbnode list *             (* export_nodes *)
24             (SrcPath.t * GG.group) list * (* sublibs *)             GG.subgrouplist *            (* sublibs *)
25             SrcPathSet.set *             (* groups *)             SrcPathSet.set *             (* groups *)
26             Version.t option             Version.t option
27          -> bool          -> bool
# Line 51  Line 51 
51                | _ => true                | _ => true
52          end          end
53    
54          fun nonstabSublib (_, GG.GROUP { kind = GG.LIB { kind = GG.STABLE _,          fun nonstabSublib (_, gth) =
55                                                           ... }, ... }) = false              case gth () of
56            | nonstabSublib _ = true                  GG.GROUP { kind = GG.LIB { kind = GG.STABLE _,
57                                               ... }, ... } => false
58                  | _ => true
59    
60          fun invalidGroup stab_t p =          fun invalidGroup stab_t p =
61              case SrcPath.tstamp p of              case SrcPath.tstamp p of
# Line 89  Line 91 
91                  case kind of                  case kind of
92                      GG.NOLIB _ => NONE                      GG.NOLIB _ => NONE
93                    | GG.LIB { version, ... } => version                    | GG.LIB { version, ... } => version
94                fun force f = f ()
95          in          in
96              verify' gp em (grouppath,              verify' gp em (grouppath,
97                             map (#2 o #1) (SymbolMap.listItems exports),                             map (#2 o force o #1) (SymbolMap.listItems exports),
98                             sublibs, groups, version)                             sublibs, groups, version)
99          end          end
100  end  end

Legend:
Removed from v.632  
changed lines
  Added in v.652

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