Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/ein/equal.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/ein/equal.sml

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

revision 2576, Wed Apr 2 04:36:30 2014 UTC revision 2584, Tue Apr 15 03:22:58 2014 UTC
# Line 71  Line 71 
71    
72  fun isEinEqual(e1,e2)=let  fun isEinEqual(e1,e2)=let
73          val E.EIN{params, index, body}=e1          val E.EIN{params, index, body}=e1
74           val pp=print(String.concat["\n IN-EQUAL",P.printerE(e1), P.printerE(e2)])         (*  val pp=print(String.concat["\n IN-EQUAL",P.printerE(e1), P.printerE(e2)])*)
75          val body1=body          val body1=body
76          val E.EIN{params, index, body}=e2          val E.EIN{params, index, body}=e2
77          val n=isEqual(body1,body)          val n=isEqual(body1,body)
78          in          in
79  if(n=0) then (print "TRUE";true)  if(n=0) then (true)
80  else (print "FALSE";false)  else (false)
81          end          end
82    end; (* local *)    end; (* local *)
83    

Legend:
Removed from v.2576  
changed lines
  Added in v.2584

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