diff options
| -rw-r--r-- | tests/canonicalize.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/canonicalize.rs b/tests/canonicalize.rs index 2db0161..b6d9c62 100644 --- a/tests/canonicalize.rs +++ b/tests/canonicalize.rs @@ -18,6 +18,11 @@ fn canonicalization() { ("(* (/ 2 3) (/ 3 2))", "1"), ("(^ (^ a 2) 3)", "(^ a 6)"), ("(^ (/ 1 3) -1)", "3"), + // TODO: ("(/ c (^ d 2))", "(* c (^ d -2))"), + ("(/ c (^ d 2))", "(* c (^ (^ d 2) -1))"), + ("(- a (* 2 b))", "(+ a (* -2 b))"), + ("(- a b)", "(+ a (* -1 b))"), + ("(* a (* b c))", "(* a b c)"), ]; for (input, output) in cases.iter() { |