JordanMartinez
commented
3 years ago CI is failing due to a change made in quickcheck. Let's merge this and fix that later.
[1/1 TypesDoNotUnify] test/Main.purs:80:5
v
80 map Name $ Gen.oneOf $ genNES :|
81 [ genNES <#> \a -> a <> (NES.singleton '.')
82 , genNES <#> \a -> (NES.singleton '.') <> a
...
86 b <- genNES
87 pure $ a <> (NES.singleton '.') <> b
88 ]
^
Could not match type
NonEmpty Array
with type
NonEmptyArray
while trying to match type NonEmpty t1 (t2 NonEmptyString)
with type NonEmptyArray (Gen t0)
while checking that expression (NonEmpty genNES) [ (mapFlipped genNES) (\a ->
...
)
, (mapFlipped genNES) (\a ->
...
)
, pure (singleton '.')
, (bind genNES) (\a ->
...
)
]
has type NonEmptyArray (Gen t0)
in value declaration genAmbigiousName
where t2 is an unknown type
t0 is an unknown type
t1 is an unknown type
Description of the change
This PR updates the CHANGELOG in preparation for the upcoming release of this library.
Related: purescript/purescript#3985