From af76dc3b274e4ceb6b364b4b0706b2726bd1f8ee Mon Sep 17 00:00:00 2001
From: Orion Kindel <orionkindel@gmail.com>
Date: Sat, 16 Dec 2023 13:11:54 -0600
Subject: [PATCH] fix: strict + pedantic

---
 spago.yaml          | 15 +++++++++------
 test/Test.Main.purs | 15 +--------------
 2 files changed, 10 insertions(+), 20 deletions(-)

diff --git a/spago.yaml b/spago.yaml
index 92dc080..c0901c7 100644
--- a/spago.yaml
+++ b/spago.yaml
@@ -1,27 +1,30 @@
 package:
+  build:
+    pedantic_packages: true
+    strict: true
   dependencies:
-    - aff
-    - console
+    - arrays
     - effect
     - either
+    - enums
     - foldable-traversable
+    - integers
     - js-bigints
     - maybe
     - newtype
     - node-buffer
+    - ordered-collections
     - prelude
-    - quickcheck
-    - spec-quickcheck
     - strings
-    - stringutils
     - transformers
     - tuples
-    - typelevel-prelude
   name: proquint
   test:
     main: Test.Main
     dependencies:
+      - quickcheck
       - spec
+      - spec-quickcheck
 workspace:
   extra_packages: {}
   package_set:
diff --git a/test/Test.Main.purs b/test/Test.Main.purs
index 649ef75..2edac01 100644
--- a/test/Test.Main.purs
+++ b/test/Test.Main.purs
@@ -2,13 +2,9 @@ module Test.Main where
 
 import Prelude
 
-import Control.Monad.Gen (suchThat)
 import Data.Array as Array
 import JS.BigInt (BigInt)
 import JS.BigInt as BigInt
-import Data.Buffer.Immutable.BigInt as Buffer.Immutable.BigInt
-import Data.Char as Char
-import Data.Char.Gen (genDigitChar)
 import Data.Either (Either(..))
 import Data.Foldable (intercalate)
 import Data.Generic.Rep (class Generic)
@@ -16,21 +12,12 @@ import Data.Maybe (Maybe(..), fromJust)
 import Data.Newtype (class Newtype, wrap)
 import Data.Proquint (Con, Proquint(..), Segment(..), Vo)
 import Data.Proquint as PQ
-import Data.String as String
-import Data.String.CodePoints as String.CodePoint
 import Data.Traversable (sequence)
-import Data.Tuple.Nested ((/\))
 import Effect (Effect)
 import Effect.Aff (launchAff_)
-import Effect.Unsafe (unsafePerformEffect)
-import Node.Buffer as Buffer
-import Node.Buffer.Immutable as Buffer.Immutable
-import Node.Encoding (Encoding(..))
 import Partial.Unsafe (unsafePartial)
 import Test.QuickCheck (class Arbitrary, arbitrary, (===))
-import Test.QuickCheck.Arbitrary (genericArbitrary)
-import Test.QuickCheck.Gen (Gen, arrayOf, enum, resize)
-import Test.QuickCheck.Gen as Gen
+import Test.QuickCheck.Gen (Gen, arrayOf, enum)
 import Test.Spec (describe, it)
 import Test.Spec.QuickCheck (quickCheck)
 import Test.Spec.Reporter (consoleReporter)