SCM Repository
[diderot] Diff of /branches/charisee/src/compiler/ein/equal.sml
Diff of /branches/charisee/src/compiler/ein/equal.sml
Parent Directory
| 
Revision Log
| 
Patch
| 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.2583 |
|
| changed lines |
| |
Added in v.2584 |
|
|
