Hello,
I've been stumped by a compiler error which I can't figure out. I think
it's a compiler bug. (I'd like to maybe help fix that and contribute a PR -
even though it might get incorporated into elm-compiler waaaay later or not
at all, I could have my own elm-compiler and continue on the project :) )
import Fuzz exposing (Fuzzer)
import Random.Pcg as Random
import Random.Extra as Random
import Shrink
type alias Op op =
{ generator : Random.Generator op }
opsFuzzer : List (Op op) -> Fuzzer (List op)
opsFuzzer ops =
Fuzz.custom
(Random.together (List.map .generator ops))
(Shrink.list Shrink.noShrink)
-- TYPE MISMATCH ----------------------------------------------------- src/A
.elm
The type annotation for `opsFuzzer` does not match its definition.
21| opsFuzzer : List (Op op) -> Fuzzer (List op)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The type annotation is saying:
List { generator : Random.Generator b } -> Fuzzer (List b)
But I am inferring that the definition has this type:
List { generator : Random.Generator a } -> Fuzzer (List b)
-- TYPE MISMATCH ----------------------------------------------------- src/A
.elm
The 1st argument to function `custom` is causing a mismatch.
23| Fuzz.custom
24|> (Random.together (List.map .generator ops))
25| (Shrink.list Shrink.noShrink)
Function `custom` is expecting the 1st argument to be:
Random.Generator a
But it is:
Random.Generator (List a)
Detected errors in 1 module.
(The larger codebase is
here:
https://github.com/Janiczek/elm-test/commit/9b8323d4721cea0f0420c1440d31b79989b7528a)
The compiler is telling me my types don't match but I think they do (even
by substituting the types by hand).
Does anybody have any idea on what to do with this?
--
You received this message because you are subscribed to the Google Groups "Elm
Discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
