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 1878, Mon Nov 21 19:54:57 2005 UTC revision 1879, Fri Dec 16 06:13:13 2005 UTC
# Line 259  Line 259 
259          end          end
260          val _ = MC.mkIndex (gp, g, mc)          val _ = MC.mkIndex (gp, g, mc)
261          val (exports, rp, isl) =          val (exports, rp, isl) =
262              MC.build (mc, filter, gp, pfsbn ())              MC.build (g, mc, filter, gp, pfsbn ())
263          val subgroups = filt_th_sgl (MC.subgroups mc, isl)          val subgroups = filt_th_sgl (MC.subgroups mc, isl)
264          val { required = rp', wrapped = wr } = p          val { required = rp', wrapped = wr } = p
265      in      in
# Line 290  Line 290 
290          end          end
291          val _ = MC.mkIndex (gp, g, mc)          val _ = MC.mkIndex (gp, g, mc)
292          val (exports, rp, isl) =          val (exports, rp, isl) =
293              MC.build (mc, filter, gp, pfsbn ())              MC.build (g, mc, filter, gp, pfsbn ())
294          val subgroups = filt_th_sgl (MC.subgroups mc, isl)          val subgroups = filt_th_sgl (MC.subgroups mc, isl)
295          val { required = rp', wrapped = wr } = p          val { required = rp', wrapped = wr } = p
296      in      in

Legend:
Removed from v.1878  
changed lines
  Added in v.1879

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