From 03d9f62f99afbae961fbf5846f015be5f6eee2b1 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Mon, 1 Dec 2025 17:32:33 +0100
Subject: fix eslint errors and warnings

---
 pbt/ts/src/index.ts | 31 ++++++++++---------------------
 1 file changed, 10 insertions(+), 21 deletions(-)

(limited to 'pbt/ts/src/index.ts')

diff --git a/pbt/ts/src/index.ts b/pbt/ts/src/index.ts
index 7f67d77..38049b2 100644
--- a/pbt/ts/src/index.ts
+++ b/pbt/ts/src/index.ts
@@ -1,6 +1,6 @@
 import 'dotenv/config';
 import Prando from 'prando';
-import {Gen, Property, listOf, property, shrinklist, someInt} from './property';
+import {Gen, listOf, property, shrinklist, someInt} from './property';
 
 function arrayEquals<A>(a: A[], b: A[]): boolean {
   return (
@@ -12,7 +12,7 @@ function arrayEquals<A>(a: A[], b: A[]): boolean {
 }
 
 function reverse<A>(arr: A[]): A[] {
-  let result = [];
+  const result = [];
   for (let i = arr.length - 1; i >= 0; i--) {
     result.push(arr[i]);
   }
@@ -25,7 +25,7 @@ function reverse_is_self_inverse(arr: number[]): boolean {
 
 function gen2lists<A>(gen: Gen<A>): Gen<[A[], A[]]> {
   return (rng: Prando) => {
-    let gl = listOf(gen)(rng);
+    const gl = listOf(gen)(rng);
     return (size: number) => {
       return [gl(size), gl(size)];
     };
@@ -40,36 +40,25 @@ function reverse_with_two_lists<A>(arrs: [A[], A[]]): boolean {
 }
 
 function shrink2lists<A>([l1, l2]: [A[], A[]]): [A[], A[]][] {
-  let result: [A[], A[]][] = [];
-  let s1 = shrinklist(l1);
-  let s2 = shrinklist(l2);
+  const result: [A[], A[]][] = [];
+  const s1 = shrinklist(l1);
+  const s2 = shrinklist(l2);
   for (let i = 0; i < s1.length; i++) {
-    let j = s2.length - i - 1;
-    let news2 = j >= 0 ? s2[j] : [];
+    const j = s2.length - i - 1;
+    const news2 = j >= 0 ? s2[j] : [];
     result.push([s1[i], news2]);
   }
   return result;
 }
 
-export let prop_reverse_with_two_lists = property<[number[], number[]]>(
+export const prop_reverse_with_two_lists = property<[number[], number[]]>(
   gen2lists(someInt),
   reverse_with_two_lists,
   shrink2lists,
 );
 
-let prop_reverse_is_self_inverse = property(
+export const prop_reverse_is_self_inverse = property(
   listOf(someInt),
   reverse_is_self_inverse,
   shrinklist,
 );
-
-async function main(): Promise<void> {
-  let reverse_append_result = Property.run(prop_reverse_with_two_lists);
-  let reverse_reverse_result = Property.run(prop_reverse_is_self_inverse);
-  console.log(
-    'reverse_append_result: ' + JSON.stringify(reverse_append_result),
-  );
-  console.log(
-    'reverse_reverse_result: ' + JSON.stringify(reverse_reverse_result),
-  );
-}
-- 
cgit v1.3.1