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/cml/cml-lib/trace-cml.sml
ViewVC logotype

Diff of /sml/trunk/src/cml/cml-lib/trace-cml.sml

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

revision 1861, Mon Nov 7 18:17:09 2005 UTC revision 1862, Mon Nov 7 23:03:18 2005 UTC
# Line 51  Line 51 
51      structure SS = Substring      structure SS = Substring
52    
53      fun findTraceModule name = let      fun findTraceModule name = let
54            fun eq ss (TM{label, ...}) = (SS.compare(SS.all label, ss) = EQUAL)            fun eq ss (TM{label, ...}) = (SS.compare(SS.full label, ss) = EQUAL)
55            fun find ([], tm) = SOME tm            fun find ([], tm) = SOME tm
56              | find (arc::rest, tm as TM{label, children, ...}) = let              | find (arc::rest, tm as TM{label, children, ...}) = let
57                  val eqArc = eq arc                  val eqArc = eq arc
# Line 63  Line 63 
63                  end                  end
64            in            in
65              find (              find (
66                SS.tokens (fn #"/" => true | _ => false) (SS.all name),                SS.tokens (fn #"/" => true | _ => false) (SS.full name),
67                traceRoot)                traceRoot)
68            end            end
69    

Legend:
Removed from v.1861  
changed lines
  Added in v.1862

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