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/compiler/FLINT/trans/matchcomp.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/trans/matchcomp.sml

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

revision 1334, Thu May 22 22:46:30 2003 UTC revision 1335, Tue May 27 21:54:23 2003 UTC
# Line 750  Line 750 
750        else fixupUnused(unused::urest, (rules, z)::mrest, n + 1, m, x::y)        else fixupUnused(unused::urest, (rules, z)::mrest, n + 1, m, x::y)
751    | fixupUnused _ = bug "bad fixup"    | fixupUnused _ = bug "bad fixup"
752    
753  fun redundant (nil, n) = false  fun redundant (nil, n: int) = false
754    | redundant (a::b, n) = a <> n orelse redundant (b, n)    | redundant (a::b, n) = a <> n orelse redundant (b, n)
755    
756  fun complement(n, m, a::b) =  fun complement(n, m, a::b) =

Legend:
Removed from v.1334  
changed lines
  Added in v.1335

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