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

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

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

revision 357, Mon Jun 28 08:46:30 1999 UTC revision 358, Mon Jun 28 13:59:11 1999 UTC
# Line 96  Line 96 
96      end      end
97    
98      fun configuration l = let      fun configuration l = let
99            (* First we make the list into a map to become independent of the
100             * order of the elements. *)
101            val m = foldl (fn (x: pspec, m) => StringMap.insert (m, #name x, x))
102                          StringMap.empty l
103          fun gen_pinfo ({ name, env, pidInfo }, i) = let          fun gen_pinfo ({ name, env, pidInfo }, i) = let
104              val es2bs = GenericVC.CoerceEnv.es2bs              val es2bs = GenericVC.CoerceEnv.es2bs
105              val (da_env, mkExports) =              val (da_env, mkExports) =
# Line 109  Line 113 
113              (StringMap.insert (sm, #name ps, gen_pinfo (ps, i)),              (StringMap.insert (sm, #name ps, gen_pinfo (ps, i)),
114               #name ps :: sl,               #name ps :: sl,
115               i + 1)               i + 1)
116          val (sm, sl, _) = foldr one (StringMap.empty, [], 0) l          val (sm, sl, _) = StringMap.foldl one (StringMap.empty, [], 0) m
117      in      in
118          (sm, Vector.fromList (rev sl))          (sm, Vector.fromList (rev sl))
119      end      end

Legend:
Removed from v.357  
changed lines
  Added in v.358

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