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

Diff of /sml/trunk/src/cm/parse/parse.sml

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

revision 361, Wed Jun 30 06:44:04 1999 UTC revision 362, Thu Jul 1 09:39:48 1999 UTC
# Line 12  Line 12 
12          SrcPath.t -> (CMSemant.group * GeneralParams.info) option          SrcPath.t -> (CMSemant.group * GeneralParams.info) option
13  end  end
14    
15  functor ParseFn (structure Stabilize: STABILIZE) :> PARSE = struct  functor ParseFn (val pending : unit -> DependencyGraph.impexp SymbolMap.map
16                     structure Stabilize: STABILIZE) :> PARSE = struct
17    
18      val lookAhead = 30      val lookAhead = 30
19    
# Line 269  Line 270 
270              NONE => NONE              NONE => NONE
271            | SOME g =>            | SOME g =>
272                  if CheckSharing.check (g, ginfo) then                  if CheckSharing.check (g, ginfo) then
273                      (SmlInfo.forgetAllBut (Reachable.reachable g);                      let
274                       SOME (g, ginfo))                          val reach1 = Reachable.reachable g
275                            val reach2 = Reachable.reachable' (pending ())
276                            val reach = SrcPathSet.union (reach1, reach2)
277                        in
278                            SmlInfo.forgetAllBut reach;
279                            SOME (g, ginfo)
280                        end
281                  else NONE                  else NONE
282      end      end
283  end  end

Legend:
Removed from v.361  
changed lines
  Added in v.362

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