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
ViewVC logotype

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

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

revision 665, Fri Jun 16 04:43:57 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.665  
changed lines
  Added in v.666

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