import sys

import libfoolang


ctx = libfoolang.AnalysisContext()
u = ctx.get_from_buffer('main.txt', b"""
(T) foo { a b }

(T U) old_bar { c d }
(T U) new_bar { e f }

(V) old_baz { g }
(V) new_baz { h }
""")
if u.diagnostics:
    for d in u.diagnostics:
        print(d)
    sys.exit(1)

foo, old_bar, new_bar, old_baz, new_baz = u.root
rebound1 = foo.p_rebind(old_bar, new_bar)
rebound2 = foo.p_rebind(old_bar, new_bar)
rebound3 = foo.p_rebind(old_baz, new_baz)

for e1, e2 in [
    (rebound1, rebound1),
    (rebound1, rebound2),
    (rebound1, rebound3),
]:
    print('{} vs. {}'.format(e1, e2))
    print('  identity check:   {}'.format(e1 is e2))
    print('  equality check:   {}'.format(e1 == e2))
    print('  inequality check: {}'.format(e1 != e2))

print('main.py: Done.')