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/branches/SMLNJ/src/compiler/Semant/elaborate/elabmod.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/compiler/Semant/elaborate/elabmod.sml

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

revision 23, Thu Mar 12 00:49:56 1998 UTC revision 24, Thu Mar 12 00:49:58 1998 UTC
# Line 144  Line 144 
144   * structures and functors can be distributed into the signature matching   * structures and functors can be distributed into the signature matching
145   * or the instantiation process. (ZHONG)   * or the instantiation process. (ZHONG)
146   *)   *)
 val mapPathsPhase = (Stats.makePhase "Compiler 033 1-mapPaths")  
147    
148  fun mapPaths0(epc, STR{sign, rlzn, ...}, flex) = mapEPC(epc, sign, rlzn, flex)  fun mapPaths0(epc, STR{sign, rlzn, ...}, flex) = mapEPC(epc, sign, rlzn, flex)
149    | mapPaths0 _ = ()    | mapPaths0 _ = ()
150    
151  and mapPaths x = Stats.doPhase mapPathsPhase mapPaths0 x  and mapPaths x =
152      Stats.doPhase (Stats.makePhase "Compiler 033 1-mapPaths") mapPaths0 x
153    
154  and mapEPC(epc, sign as SIG{elements,...},  and mapEPC(epc, sign as SIG{elements,...},
155                  rlzn as {entities, ...} : M.strEntity, flex) =                  rlzn as {entities, ...} : M.strEntity, flex) =

Legend:
Removed from v.23  
changed lines
  Added in v.24

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