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 652, Tue Jun 6 02:14:56 2000 UTC revision 666, Fri Jun 16 08:27:00 2000 UTC
# Line 19  Line 19 
19  signature VERIFY_STABLE = sig  signature VERIFY_STABLE = sig
20      type exportmap = SmlInfo.info StableMap.map      type exportmap = SmlInfo.info StableMap.map
21      val verify' : GP.info -> exportmap      val verify' : GP.info -> exportmap
22          -> SrcPath.t *                  (* grouppath *)          -> SrcPath.file *               (* grouppath *)
23             DG.sbnode list *             (* export_nodes *)             DG.sbnode list *             (* export_nodes *)
24             GG.subgrouplist *            (* sublibs *)             GG.subgrouplist *            (* sublibs *)
25             SrcPathSet.set *             (* groups *)             SrcPathSet.set *             (* groups *)
# Line 51  Line 51 
51                | _ => true                | _ => true
52          end          end
53    
54          fun nonstabSublib (_, gth) =          fun nonstabSublib (_, gth, _) =
55              case gth () of              case gth () of
56                  GG.GROUP { kind = GG.LIB { kind = GG.STABLE _,                  GG.GROUP { kind = GG.LIB { kind = GG.STABLE _,
57                                             ... }, ... } => false                                             ... }, ... } => false

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

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