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 349, Tue Jun 22 06:17:47 1999 UTC revision 353, Thu Jun 24 09:43:28 1999 UTC
# Line 77  Line 77 
77          val policy = #fnpolicy (#param gp)          val policy = #fnpolicy (#param gp)
78    
79          val grouppath = #grouppath grec          val grouppath = #grouppath grec
         val groupdir = AbsPath.dir grouppath  
80    
81          fun doit wrapped = let          fun doit wrapped = let
82    
# Line 228  Line 227 
227                   * within libraries.  However, the spec in BinInfo.info                   * within libraries.  However, the spec in BinInfo.info
228                   * is only used for diagnostics and has no impact on the                   * is only used for diagnostics and has no impact on the
229                   * operation of CM itself. *)                   * operation of CM itself. *)
230                  val spec = AbsPath.spec (SmlInfo.sourcepath i)                  val spec = AbsPath.specOf (SmlInfo.sourcepath i)
231                  val locs = SmlInfo.errorLocation gp i                  val locs = SmlInfo.errorLocation gp i
232                  val offset = registerOffset (i, bsz i)                  val offset = registerOffset (i, bsz i)
233              in              in
# Line 264  Line 263 
263              end              end
264    
265              fun w_abspath p k m =              fun w_abspath p k m =
266                  w_list w_string (AbsPath.pickle (warn_relabs p) (p, groupdir))                  w_list w_string (AbsPath.pickle (warn_relabs p) (p, grouppath))
267                                  k m                                  k m
268    
269              fun w_bn (DG.PNODE p) k m = "p" :: w_primitive p k m              fun w_bn (DG.PNODE p) k m = "p" :: w_primitive p k m
# Line 322  Line 321 
321                              val sourcepath = SmlInfo.sourcepath smlinfo                              val sourcepath = SmlInfo.sourcepath smlinfo
322                              (* FIXME: see the comment near the other                              (* FIXME: see the comment near the other
323                               * occurence of AbsPath.spec... *)                               * occurence of AbsPath.spec... *)
324                              val spec = AbsPath.spec sourcepath                              val spec = AbsPath.specOf sourcepath
325                              val offset =                              val offset =
326                                  getOffset smlinfo + offset_adjustment                                  getOffset smlinfo + offset_adjustment
327                              val share = SmlInfo.share smlinfo                              val share = SmlInfo.share smlinfo
# Line 391  Line 390 
390                      (anyerrors := true; NONE)                      (anyerrors := true; NONE)
391                  else let                  else let
392                      fun notStable (_, GG.GROUP { kind, ... }) =                      fun notStable (_, GG.GROUP { kind, ... }) =
393                          case kind of GG.STABLELIB _ => true | _ => false                          case kind of GG.STABLELIB _ => false | _ => true
394                  in                  in
395                      case List.filter notStable (#sublibs grec) of                      case List.filter notStable (#sublibs grec) of
396                          [] => doit wrapped                          [] => doit wrapped
# Line 430  Line 429 
429    
430      fun loadStable (gp, getGroup, anyerrors) group = let      fun loadStable (gp, getGroup, anyerrors) group = let
431    
         val groupdir = AbsPath.dir group  
432          fun bn2env n = Statenv2DAEnv.cvtMemo (fn () => bn2statenv gp n)          fun bn2env n = Statenv2DAEnv.cvtMemo (fn () => bn2statenv gp n)
433    
434          val errcons = #errcons gp          val errcons = #errcons gp
# Line 543  Line 541 
541              end              end
542    
543              fun r_abspath () =              fun r_abspath () =
544                  case AbsPath.unpickle pcmode (r_list r_string (), groupdir) of                  case AbsPath.unpickle pcmode (r_list r_string (), group) of
545                      SOME p => p                      SOME p => p
546                    | NONE => raise Format                    | NONE => raise Format
547    
# Line 551  Line 549 
549                  fun r_symbol_raw () = let                  fun r_symbol_raw () = let
550                      val (ns, first) =                      val (ns, first) =
551                          case rd () of                          case rd () of
552                              #"`" => (Symbol.sigSymbol, rd ())                              #"'" => (Symbol.sigSymbol, rd ())
553                            | #"(" => (Symbol.fctSymbol, rd ())                            | #"(" => (Symbol.fctSymbol, rd ())
554                            | #")" => (Symbol.fsigSymbol, rd ())                            | #")" => (Symbol.fsigSymbol, rd ())
555                            | c => (Symbol.strSymbol, c)                            | c => (Symbol.strSymbol, c)

Legend:
Removed from v.349  
changed lines
  Added in v.353

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