librustzcash-wrapper/src/lib.rs

@@ -1247,8 +1247,16 @@ pub extern "C" fn rust_wrapper_read_sapling_position(
     let wit_in: Vec<u8> = marshall_from_haskell_var(wit, wit_len, RW);
     let wit_reader = Cursor::new(wit_in);
     let iw: IncrementalWitness<Node, SAPLING_DEPTH> = read_incremental_witness(wit_reader).unwrap();
-    let pos = iw.witnessed_position();
+    let path = iw.path();
+    match path {
+        Some(p) => {
+            let pos = p.position();
             return u64::from(pos);
+        },
+        None => {
+            return 0;
+        }
+    }
 }
 
 #[no_mangle]

test/Spec.hs

@@ -1113,7 +1113,8 @@ main = do
                                 MainNet
                                 External
                                 p
-                        dn `shouldBe` Nothing
+                        dn `shouldNotBe` Nothing
+
       describe "Generate an ExchangeAddress (MainNet) from transparent address" $ do
         let ta = decodeTransparentAddress "t1dMjvesbzdG41xgKaGU3HgwYJwSgbCK54e"
         it "Try to generate valid ExchangeAddress from Transparent Address" $ do
@@ -1121,12 +1122,9 @@ main = do
             Nothing -> assertFailure "Failed to decode transparent address" 
             Just t  -> do  
               case  (tr_type (ta_receiver t) ) of
-                P2SH ->
+                P2SH -> assertFailure "P2SH not supported for ExchengeAddress generation" 
-                  assertFailure
-                    "P2SH not supported for ExchengeAddress generation"
                 P2PKH -> do
-                  let exch =
+                  let exch = encodeExchangeAddress (ta_network t) (ta_receiver t)
-                        encodeExchangeAddress (ta_network t) (ta_receiver t)
                   case exch of
                     Nothing -> assertFailure "Failed to encode Exchange address" 
                     Just addr -> do