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/branches/SMLNJ/src/MLRISC/graphs/simple-graph.sml
 [smlnj] / sml / branches / SMLNJ / src / MLRISC / graphs / simple-graph.sml

# Diff of /sml/branches/SMLNJ/src/MLRISC/graphs/simple-graph.sml

revision 410, Fri Sep 3 00:25:03 1999 UTC revision 429, Wed Sep 8 09:47:00 1999 UTC
# Line 15  Line 15
15  struct  struct
16
17     structure G = Graph     structure G = Graph
18     structure S = Sorting     structure S = ListMergeSort
19     fun simple_graph merge (G.GRAPH G) =     fun simple_graph merge (G.GRAPH G) =
20     let val sort = S.sort (fn ((i,j,_),(i',j',_)) =>     let val sort = S.sort (fn ((i,j,_),(i',j',_)) =>
21                        i < i' orelse i = i' andalso j < j')                        i > i' orelse i = i' andalso j > j')
22         fun uniq([],_,_,[],es'') = es''         fun uniq([],_,_,[],es'') = es''
23           | uniq([],i,j,[e],es'') = (i,j,e)::es''           | uniq([],i,j,[e],es'') = (i,j,e)::es''
24           | uniq([],i,j,es,es'') = (i,j,merge(i,j,es))::es''           | uniq([],i,j,es,es'') = (i,j,merge(i,j,es))::es''

Legend:
 Removed from v.410 changed lines Added in v.429