From 62b8dcaf638c13c51b0fc06661815d199806c4d0 Mon Sep 17 00:00:00 2001
From: Parham Saremi <parhaamsaremi@gmail.com>
Date: Fri, 25 Nov 2022 17:21:27 +0330
Subject: [PATCH] Core.Tests: add new test to AvoidTooShortNames

Closes https://github.com/fsprojects/FSharpLint/issues/592
---
 .../Rules/Conventions/AvoidTooShortNames.fs          | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/tests/FSharpLint.Core.Tests/Rules/Conventions/AvoidTooShortNames.fs b/tests/FSharpLint.Core.Tests/Rules/Conventions/AvoidTooShortNames.fs
index 362677214..8daf20c68 100644
--- a/tests/FSharpLint.Core.Tests/Rules/Conventions/AvoidTooShortNames.fs
+++ b/tests/FSharpLint.Core.Tests/Rules/Conventions/AvoidTooShortNames.fs
@@ -95,3 +95,15 @@ type TorStreamCipher(keyBytes: array<byte>, ivOpt: Option<array<byte>>) =
  """
 
         Assert.IsTrue this.ErrorsExist
+
+    [<Test>]
+    member this.AvoidTooShortNamesShouldProduceError_7() =
+        this.Parse """
+module Base32Util =
+    let DecodeBase32 text =
+        let rec parse result input =
+            result
+        [ for c in text -> c ] |> parse List.Empty |> List.toArray
+ """
+
+        Assert.IsTrue this.ErrorsExist