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

Diff of /sml/trunk/src/cm/depend/mklist.sml

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

revision 397, Fri Aug 13 07:06:52 1999 UTC revision 398, Wed Aug 25 15:36:43 1999 UTC
# Line 42  Line 42 
42          else do_list snode l (do_list farsbnode g k') m          else do_list snode l (do_list farsbnode g k') m
43      end      end
44    
45      and farsbnode (_, DG.SB_BNODE n) = bnode n      and farsbnode (_, DG.SB_BNODE (n, _)) = bnode n
46        | farsbnode (_, DG.SB_SNODE n) = snode n        | farsbnode (_, DG.SB_SNODE n) = snode n
47    
48      fun impexp (n, _) = farsbnode n      fun impexp (n, _) = farsbnode n

Legend:
Removed from v.397  
changed lines
  Added in v.398

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