From a2220cd6ca103b636567b557d21ab345c6ab99e0 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Sun, 6 Oct 2024 21:11:04 +0200
Subject: Use proptest's Strategy to generate expressions

---
 rust/src/parser.rs | 29 -----------------------------
 1 file changed, 29 deletions(-)

(limited to 'rust/src/parser.rs')

diff --git a/rust/src/parser.rs b/rust/src/parser.rs
index 2a5fef4..52aad5a 100644
--- a/rust/src/parser.rs
+++ b/rust/src/parser.rs
@@ -382,35 +382,6 @@ mod tests {
         );
     }
 
-    impl Arbitrary for Value {
-        type Parameters = ();
-        type Strategy = BoxedStrategy<Self>;
-
-        fn arbitrary_with(_args: ()) -> Self::Strategy {
-            let identifier = "\\pL(\\pL|\\pN)*";
-            let leaf = prop_oneof![
-                any::<i32>().prop_map(Num),
-                any::<bool>().prop_map(Bool),
-                // see https://unicode.org/reports/tr18/#General_Category_Property for one letter unicode categories
-                identifier.prop_map(Sym),
-            ];
-            let expr = leaf.prop_recursive(4, 128, 5, move |inner| {
-                prop_oneof![
-                    (inner.clone(), inner.clone()).prop_map(|(l, r)| App(Box::new(l), Box::new(r))),
-                    (identifier, inner.clone()).prop_map(|(var, body)| Lam(var, Box::new(body))),
-                    (identifier, inner.clone(), inner.clone()).prop_map(|(var, body, expr)| {
-                        Value::Let(var, Box::new(body), Box::new(expr))
-                    }),
-                ]
-            });
-            prop_oneof![
-                expr.clone(),
-                (identifier, expr).prop_map(|(var, body)| Def(var, Box::new(body)))
-            ]
-            .boxed()
-        }
-    }
-
     proptest! {
             #[test]
             fn parse_is_inverse_to_display(values in any::<Vec<Value>>()) {
-- 
cgit v1.2.3