mirror of
https://github.com/Smaug123/WoofWare.Myriad
synced 2025-10-10 22:48:40 +00:00
Bump deps (#54)
This commit is contained in:
24
WoofWare.Myriad.Plugins.Test/TestRemoveOptions.fs
Normal file
24
WoofWare.Myriad.Plugins.Test/TestRemoveOptions.fs
Normal file
@@ -0,0 +1,24 @@
|
||||
namespace WoofWare.Myriad.Plugins.Test
|
||||
|
||||
open FsCheck
|
||||
open ConsumePlugin
|
||||
open NUnit.Framework
|
||||
open FsUnitTyped
|
||||
|
||||
module TestRemoveOptions =
|
||||
|
||||
let shortenProperty (f : RecordType) =
|
||||
let g = RecordType.shorten f
|
||||
|
||||
g.B |> shouldEqual f.B
|
||||
g.C |> shouldEqual f.C
|
||||
|
||||
match f.A with
|
||||
| None -> g.A |> shouldEqual (RecordType.DefaultA ())
|
||||
| Some a -> g.A |> shouldEqual a
|
||||
|
||||
true
|
||||
|
||||
[<Test>]
|
||||
let ``shorten works`` () =
|
||||
Check.QuickThrowOnFailure shortenProperty
|
Reference in New Issue
Block a user