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

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

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

revision 270, Tue May 11 07:45:42 1999 UTC revision 274, Fri May 14 05:23:02 1999 UTC
# Line 35  Line 35 
35      val ml_funsig : string -> ml_symbol      val ml_funsig : string -> ml_symbol
36    
37      (* getting the full analysis for a group/library *)      (* getting the full analysis for a group/library *)
38        val emptyGroup : group
39      val group : perms * exports * members -> group      val group : perms * exports * members -> group
40      val library : perms * exports * members -> group      val library : perms * exports * members -> group
41    
# Line 124  Line 125 
125      val ml_functor = Symbol.fctSymbol      val ml_functor = Symbol.fctSymbol
126      val ml_funsig = Symbol.fsigSymbol      val ml_funsig = Symbol.fsigSymbol
127    
128      fun group (p: perms, e: exports, m: members) = Dummy.v      val emptyGroup = Dummy.v
129      fun library (p: perms, e: exports, m: members) = Dummy.v      fun group (p: perms, e: exports, m: members) =
130            (ignore (m MemberCollection.empty);
131             Dummy.v)
132        fun library (p: perms, e: exports, m: members) =
133            (ignore (m MemberCollection.empty);
134             Dummy.v)
135    
136      local      local
137          val isMember = StringSet.member          val isMember = StringSet.member
# Line 145  Line 151 
151      end      end
152    
153      (* get the export map from a group *)      (* get the export map from a group *)
154      fun getExports (g: group) =      fun getExports (g: group) = (ignore Dummy.v; SymbolMap.empty)
         (Dummy.f ()) : DependencyGraph.farnode SymbolMap.map  
155    
156      fun emptyMembers env = env      fun emptyMembers env = env
157      fun member rparse arg env = let      fun member rparse arg env = let
# Line 157  Line 162 
162      fun members (m1, m2) env = m2 (m1 env)      fun members (m1, m2) env = m2 (m1 env)
163      fun guarded_members (c, (m1, m2)) env =      fun guarded_members (c, (m1, m2)) env =
164          if saveEval (c, env) then m1 env else m2 env          if saveEval (c, env) then m1 env else m2 env
165      fun error_member m env = raise ExplicitError m      fun error_member m env =
166            (print (m ^ "\n");
167             raise ExplicitError m)
168    
169      fun emptyExports env = SymbolSet.empty      fun emptyExports env = SymbolSet.empty
170      fun export s env = SymbolSet.singleton s      fun export s env = SymbolSet.singleton s

Legend:
Removed from v.270  
changed lines
  Added in v.274

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