FSharpLint: upgrade to latest version 0.21.3 (#53)

Enabling FavourStaticEmptyFields rule (new in this version).

.github/workflows/ci.yml

@@ -40,7 +40,7 @@ jobs:
         run: dotnet build --configuration Release --no-restore
       - name: fsharpLint
         run: |
-          dotnet tool install --global dotnet-fsharplint --version 0.21.2
+          dotnet tool install --global dotnet-fsharplint --version 0.21.3
 
           # path taken from https://stackoverflow.com/a/65367006/544947
           $HOME/.dotnet/tools/dotnet-fsharplint lint NOnion.sln

NOnion/Cells/CellAuthChallenge.fs

@@ -25,7 +25,7 @@ type CellAuthChallenge =
 
         let challenge = reader.ReadBytes Constants.ChallangeLength
         let methodsCount = ReadBigEndianUInt16 reader |> int
-        let methods = readMethod [] methodsCount
+        let methods = readMethod List.Empty methodsCount
 
         {
             Challenge = challenge

NOnion/Http/TorHttpClient.fs

@@ -40,7 +40,7 @@ type TorHttpClient(stream: TorStream, host: string) =
                     "Accept-Encoding", supportedCompressionAlgorithms
                 ]
                 |> List.map(fun (k, v) -> sprintf "%s: %s\r\n" k v)
-                |> String.concat ""
+                |> String.concat String.Empty
 
             do!
                 sprintf "GET %s HTTP/1.0\r\n%s\r\n" path headers
@@ -134,7 +134,7 @@ type TorHttpClient(stream: TorStream, host: string) =
                     "Content-Length", payload.Length.ToString()
                 ]
                 |> List.map(fun (k, v) -> sprintf "%s: %s\r\n" k v)
-                |> String.concat ""
+                |> String.concat String.Empty
 
             do!
                 sprintf "POST %s HTTP/1.0\r\n%s\r\n%s" path headers payload
@@ -187,7 +187,7 @@ type TorHttpClient(stream: TorStream, host: string) =
                 |> Map.ofArray
 
             match headersMap.TryGetValue "Content-Encoding" with
-            | false, _ when body.Length = 0 -> return ""
+            | false, _ when body.Length = 0 -> return String.Empty
             | false, _ ->
                 return failwith "PostString: Content-Encoding header is missing"
             | true, "identity" -> return body |> Encoding.UTF8.GetString

NOnion/Utility/Base32Util.fs

@@ -96,7 +96,11 @@ module Base32Util =
             | x0 :: [] -> result @ quintupletToList 1 (x0, 0uy, 0uy, 0uy, 0uy)
             | [] -> result
 
-        data |> Array.toList |> parse [] |> List.toArray |> System.String.Concat
+        data
+        |> Array.toList
+        |> parse List.Empty
+        |> List.toArray
+        |> System.String.Concat
 
     /// Decodes a Base32 string to a UTF8 string
     let DecodeBase32 text =
@@ -163,4 +167,4 @@ module Base32Util =
                         tail
                 | _ -> result
 
-            [ for c in text -> c ] |> parse [] |> List.toArray
+            [ for c in text -> c ] |> parse List.Empty |> List.toArray

fsharplint.json

@@ -267,6 +267,7 @@
     "tupleOfWildcards": { "enabled": true },
     "favourTypedIgnore": { "enabled": true },
     "favourReRaise": { "enabled": true },
+    "favourStaticEmptyFields": { "enabled": true },
     "favourConsistentThis": {
         "enabled": true,
         "config": {