-
-
Notifications
You must be signed in to change notification settings - Fork 40
Open
Description
Tomland version 1.3.3.1 can fail the test suite.
Platform: aarch64-darwin
Nixpkgs revision: NixOS/nixpkgs#163303 at NixOS/nixpkgs@37ed97a
Error message:
Failures:
test/Test/Toml/Codec/Combinator/Common.hs:39:5:
1) Codec: unit and property tests for bidirectional codecs, Combinator spec, Combinator.Map: Roundtrip tests, Map Text [Int] (tableMap): decode . encode β‘ id
β <interactive> failed at test/Test/Toml/Codec/Combinator/Common.hs:39:5
after 48 tests and 14 shrinks.
βββ test/Test/Toml/Codec/Combinator/Common.hs βββ
28 β codecRoundtripWith
29 β :: forall a
30 β . (Eq a, Show a)
31 β => (TomlCodec a -> Text -> Either [TomlDecodeError] a)
32 β -> String
33 β -> (Key -> TomlCodec a)
34 β -> Gen a
35 β -> SpecWith (Arg Expectation)
36 β codecRoundtripWith dcode typeName mkCodec genA = it label $ hedgehog $ do
37 β a <- forAll genA
β β fromList [ ( "g_" , [ 0 ] ) , ( "g_.aa" , [ 0 ] ) ]
38 β let codec = mkCodec "a"
39 β tripping a (encode codec) (dcode codec)
β ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
β β βββ Intermediate βββ
β β "\n[a]\n [[a.g_]]\n val = 0\n\n [[a.g_.aa]]\n val = 0\n"
β β βββ - Original) (+ Roundtrip βββ
β β - Right (fromList [ ( "g_" , [ 0 ] ) , ( "g_.aa" , [ 0 ] ) ])
β β + Right (fromList [ ( "g_" , [ 0 ] ) ])
40 β where
41 β label :: String
42 β label = typeName ++ ": decode . encode β‘ id"
This failure can be reproduced by running:
> recheck (Size 47) (Seed 4929322876260931616 8677625409372021739) <property>
It seems that #374 wasn't fixed completely.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels