Handle case in inequality rule

advancedresearch / avalog

An experimental implementation of Avatar Logic with a Prolog-like syntax

Apache License 2.0

66 stars 3 forks source link

Closed bvssvni closed 3 years ago

bvssvni commented 3 years ago

Input:

amb :- (T, P'(U)), (V, P'(W)), T : type, V : type, T != V.
(false(bool), not'(false))

Error:

thread 'main' panicked at 'not implemented: (App(Sym("false"), Sym("bool")), Sym("V"))', src/lib.rs:597:18