From 6be12777a41f31f6bab1bdcf56119a05b540912a Mon Sep 17 00:00:00 2001
From: Sebastian T F <sebastian.tharakan97@gmail.com>
Date: Tue, 20 Feb 2024 11:02:34 +0530
Subject: [PATCH] test: try Fp::from negative values

---
 zk_prover/src/chips/range/tests.rs | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/zk_prover/src/chips/range/tests.rs b/zk_prover/src/chips/range/tests.rs
index 07cc576..95da899 100644
--- a/zk_prover/src/chips/range/tests.rs
+++ b/zk_prover/src/chips/range/tests.rs
@@ -272,6 +272,18 @@ mod testing {
         );
     }
 
+    /* #[test]
+    // test converting negative value to Fp for use in range_check chip
+    fn test_negative_value() {
+        let a = Fp::from(-1i8);
+        /* 
+          the trait bound `halo2_proofs::halo2curves::bn256::Fr: From<i8>` is not satisfied
+          the following other types implement trait `From<T>`:
+            <halo2_proofs::halo2curves::bn256::Fr as From<bool>>
+            <halo2_proofs::halo2curves::bn256::Fr as From<u64>>
+        */
+    } */
+
     #[cfg(feature = "dev-graph")]
     #[test]
     fn print_range_check_test() {