Ignore:
Timestamp:
Jun 27, 2011, 6:54:51 AM (8 years ago)
Author:
cameron
Message:

Tom's fix for make_xor; doc for equal_exprs

File:
1 edited

Legend:

Unmodified
Added
Removed
  • proto/charsetcompiler/charset_compiler.py

    r1052 r1200  
    190190    if isinstance(expr1, FalseLiteral):
    191191        return expr2
    192     elif isinstance(expr1, FalseLiteral):
     192    elif isinstance(expr2, FalseLiteral):
    193193        return expr1
    194194    elif isinstance(expr1, TrueLiteral):
     
    200200    else: return Xor(expr1, expr2)
    201201
     202# Return True if e1 and e2 can be proven equivalent according
     203# to some rules, False otherwise.   Note that False may
     204# be returned in some cases when the exprs are equivalent.
    202205def equal_exprs(e1, e2):
    203206    if isinstance(e1, FalseLiteral): return isinstance(e2, FalseLiteral)
Note: See TracChangeset for help on using the changeset viewer.