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

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

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

revision 318, Mon Jun 7 09:32:09 1999 UTC revision 323, Wed Jun 9 06:16:22 1999 UTC
# Line 82  Line 82 
82    
83      fun stabilize gp { group = g as GG.GROUP grec, anyerrors } = let      fun stabilize gp { group = g as GG.GROUP grec, anyerrors } = let
84    
85            val primconf = #primconf (#param gp)
86            val policy = #fnpolicy (#param gp)
87    
88          fun doit granted = let          fun doit granted = let
89    
90              val _ =              val _ =
# Line 221  Line 224 
224                                 (w_sharing (SmlInfo.share i) k)))                                 (w_sharing (SmlInfo.share i) k)))
225              end              end
226    
227              fun w_primitive p k m = String.str (Primitive.toIdent p) :: k m              fun w_primitive p k m =
228                    String.str (Primitive.toIdent primconf p) :: k m
229    
230              fun w_abspath_raw p k m = w_list w_string (AbsPath.pickle p) k m              fun w_abspath_raw p k m = w_list w_string (AbsPath.pickle p) k m
231    
# Line 322  Line 326 
326              end              end
327              val memberlist = rev (!members)              val memberlist = rev (!members)
328    
             val policy = #fnpolicy (#param gp)  
329              val gpath = #grouppath grec              val gpath = #grouppath grec
330              val spath = FilenamePolicy.mkStablePath policy gpath              val spath = FilenamePolicy.mkStablePath policy gpath
331              fun delete () = deleteFile (AbsPath.name spath)              fun delete () = deleteFile (AbsPath.name spath)
# Line 399  Line 402 
402    
403          val pcmode = #pcmode (#param gp)          val pcmode = #pcmode (#param gp)
404          val policy = #fnpolicy (#param gp)          val policy = #fnpolicy (#param gp)
405            val primconf = #primconf (#param gp)
406          val spath = FilenamePolicy.mkStablePath policy group          val spath = FilenamePolicy.mkStablePath policy group
407          val _ = Say.vsay ["[checking stable ", gname, "]\n"]          val _ = Say.vsay ["[checking stable ", gname, "]\n"]
408          val s = AbsPath.openBinIn spath          val s = AbsPath.openBinIn spath
# Line 538  Line 542 
542          val r_filter = r_option r_ss          val r_filter = r_option r_ss
543    
544          fun r_primitive () =          fun r_primitive () =
545              case Primitive.fromIdent (rd ()) of              case Primitive.fromIdent primconf (rd ()) of
546                  NONE => raise Format                  NONE => raise Format
547                | SOME p => p                | SOME p => p
548    

Legend:
Removed from v.318  
changed lines
  Added in v.323

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