Skip to content

Commit

Permalink
Core.Tests: add new test to AvoidTooShortNames
Browse files Browse the repository at this point in the history
Closes #592
  • Loading branch information
parhamsaremi committed Dec 15, 2022
1 parent 889aa0d commit 62b8dca
Showing 1 changed file with 12 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit 62b8dca

Please sign in to comment.