From 14a45ce0125ae6d10a6ac2d0dada12a924d77c08 Mon Sep 17 00:00:00 2001 From: Folkert Date: Tue, 19 Jan 2021 16:46:32 +0100 Subject: [PATCH] remove test that now passes --- compiler/gen/tests/gen_primitives.rs | 39 ---------------------------- 1 file changed, 39 deletions(-) diff --git a/compiler/gen/tests/gen_primitives.rs b/compiler/gen/tests/gen_primitives.rs index 718ef4c0b9..c392568a1d 100644 --- a/compiler/gen/tests/gen_primitives.rs +++ b/compiler/gen/tests/gen_primitives.rs @@ -1356,45 +1356,6 @@ mod gen_primitives { ); } - #[test] - fn rbtree_balance_inc_dec() { - assert_non_opt_evals_to!( - indoc!( - r#" - app "test" provides [ main ] to "./platform" - - NodeColor : [ Red, Black ] - - RedBlackTree k : [ Node NodeColor k (RedBlackTree k) (RedBlackTree k), Empty ] - - # balance : NodeColor, k, RedBlackTree k, RedBlackTree k -> RedBlackTree k - balance = \color, key, left, right -> - when right is - Node Red rK rLeft rRight -> - when left is - Node Red _ _ _ -> - Node - Red - key - Empty - Empty - - _ -> - Node color rK (Node Red key left rLeft) rRight - - _ -> - Empty - - main : RedBlackTree (Int *) - main = - balance Red 0 Empty Empty - "# - ), - 0, - i64 - ); - } - #[test] fn rbtree_balance_3() { assert_non_opt_evals_to!(