Replace type annotations with type applications to improve readability

Set the default-language of the test suite to GHC2021.

Author: Mikah-Kainen

lh-array-sort.cabal

@@ -144,7 +144,7 @@ test-suite test
     cpp-options: -DRUNTIME_CHECKS
 
   default-language:
-    Haskell2010
+    GHC2021
   type:
     exitcode-stdio-1.0
   hs-source-dirs:

tests/ArrayTests.hs

@@ -1,5 +1,6 @@
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE CPP #-}
+{-# LANGUAGE TypeApplications #-}
 
 module ArrayTests (arrayTests) where
 
@@ -265,22 +266,22 @@ testSwap = testGroup "Swap Tests" [ caseTests, performanceTests, propertyTests ]
     -- Testing if swapping two elements works correctly.
     testValuesSwapped1 :: TestTree
     testValuesSwapped1 = testCase "Test Values Swapped Manual" $ do
-      let arr = CustomArray.makeArray 5 (0 :: Int)
+      let arr = CustomArray.makeArray @Int 5 0
       let arr1 = CustomArray.set arr 0 1
       let arr2 = CustomArray.set arr1 1 2
       let swappedArr = CustomOperations.swap arr2 0 1
       assertEqual "First element should be 2" 2 (CustomArray.get swappedArr 0)
       assertEqual "Second element should be 1" 1 (CustomArray.get swappedArr 1)
 
     -- Testing if swapping two elements works correctly.
-    testValuesSwapped2 = valueSwapTest 5 0 0 1 1 (2 :: Int)
-    testValuesSwapped3 = valueSwapTest 10 1 1 2 2 (4 :: Int)
-    testValuesSwapped4 = valueSwapTest 20 1 2 3 4 (5 :: Int)
+    testValuesSwapped2 = valueSwapTest @Int 5 0 0 1 1 2
+    testValuesSwapped3 = valueSwapTest @Int 10 1 1 2 2 4
+    testValuesSwapped4 = valueSwapTest @Int 20 1 2 3 4 5
 
     -- Testing that swapping an element with itself doesn't change anything.
     testSwapSameIndex :: TestTree
     testSwapSameIndex = testCase "Test Swapping Same Index" $ do
-      let arr = CustomArray.makeArray 5 (1 :: Int)
+      let arr = CustomArray.makeArray @Int 5 1
           swappedArr = CustomOperations.swap arr 2 2
       assertEqual "Array should remain unchanged" 1 (CustomArray.get swappedArr 2)
 
@@ -294,7 +295,7 @@ testSwap = testGroup "Swap Tests" [ caseTests, performanceTests, propertyTests ]
     -- Test performance of creating and splitting a large.
     testLargeArraySwap :: TestTree
     testLargeArraySwap = testCase "Test Large Array Swap" $ do
-      let largeArr = CustomArray.makeArray largeInt (0 :: Int)
+      let largeArr = CustomArray.makeArray @Int largeInt 0
       let updatedArr = CustomArray.set largeArr (largeInt-1) 1
       let swappedArr = CustomOperations.swap updatedArr (largeInt-1) 0
       assertEqual "Last element should be 0" 0 (CustomArray.get swappedArr (largeInt-1))
@@ -340,8 +341,7 @@ testSplit = testGroup "Test Split" [
     -- Hardcoded array size and values.
     testSplitMid :: TestTree
     testSplitMid = testCase "Test Split Mid" $ do
-      --let arr = CustomArray.makeArray 6 (1 :: Int)
-      let list = replicate 6 (1 :: Int)
+      let list = replicate @Int 6 1
           arr = CustomArray.fromList list
       let (leftArr, rightArr) = CustomOperations.splitMid arr
       assertEqual "Left array size should be 3" 3 (CustomArray.size leftArr)
@@ -354,7 +354,7 @@ testSplit = testGroup "Test Split" [
     -- Tests that splitting an empty array leads to two arrays of size 0.
     testSplitEmpty :: TestTree
     testSplitEmpty = testCase "Test Splitting Empty Array" $ do
-      let arr = CustomArray.makeArray 0 (0 :: Int)
+      let arr = CustomArray.makeArray @Int 0 0
       let (leftArr, rightArr) = CustomOperations.splitMid arr
       assertEqual "Left array size should be 0" 0 (CustomArray.size leftArr)
       assertEqual "Right array size should be 0" 0 (CustomArray.size rightArr)