Transform !(x != y) into x == y.

Can happen with lists.
2017-10-21 20:38:54 +02:00
parent fd815f0bdb
commit 7e39635b09
1 changed files with 6 additions and 0 deletions
--- a/lslopt/lslfoldconst.py
+++ b/lslopt/lslfoldconst.py
@@ -640,6 +640,12 @@ class foldconst(object):
                    subexpr['ch'] = [subexpr['ch'][b], subexpr['ch'][a]]
                    parent[index] = subexpr
                    return
+            if snt == '!=':
+                subexpr['nt'] = '=='
+                parent[index] = subexpr
+                self.FoldTree(parent, index)
+                return
+
            return

        if nt == '~':