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/cpsopt/contract.sml
 [smlnj] / sml / trunk / src / compiler / FLINT / cpsopt / contract.sml

# Diff of /sml/trunk/src/compiler/FLINT/cpsopt/contract.sml

revision 651, Thu Jun 1 18:34:03 2000 UTC revision 666, Fri Jun 16 08:27:00 2000 UTC
# Line 125  Line 125
125                | same(REAL a, REAL b) = a=b                | same(REAL a, REAL b) = a=b
126                | same(STRING a, STRING b) = a=b                | same(STRING a, STRING b) = a=b
127                | same(a,b) = false                | same(a,b) = false
128              fun samefields((a,ap)::ar,(b,bp)::br) = ap=bp andalso same(a,b)              fun samefields((a,ap)::ar,(b,bp)::br) =
129                                                       andalso samefields(ar,br)                  ap=bp andalso same(a,b) andalso samefields(ar,br)
130                | samefields(nil,nil) = true                | samefields(nil,nil) = true
131                | samefields _ = false                | samefields _ = false
132              fun samewith p = equ (p::pairs)              fun samewith p = equ (p::pairs)
# Line 939  Line 939
939       | (P.cmp{oper=P.eql, kind}, [VAR v, VAR w]) =>       | (P.cmp{oper=P.eql, kind}, [VAR v, VAR w]) =>
940           (case kind           (case kind
941             of P.FLOAT _ => raise ConstFold (* incase of NaN's *)             of P.FLOAT _ => raise ConstFold (* incase of NaN's *)
942              | _ => if v=w then  (click "v"; true) else raise raise ConstFold              | _ => if v=w then  (click "v"; true) else raise ConstFold
943                     (*esac*))                     (*esac*))
944       | (P.cmp{oper=P.eql,...}, [INT i, INT j]) => (click "w"; i=j)       | (P.cmp{oper=P.eql,...}, [INT i, INT j]) => (click "w"; i=j)
945       | (P.cmp{oper=P.neq,kind}, vl) =>       | (P.cmp{oper=P.neq,kind}, vl) =>

Legend:
 Removed from v.651 changed lines Added in v.666