Cannot compile the latest `elm-review-simplify`

[miniBill]

git clone https://github.com/jfmengels/elm-review-simplify
cd elm-review-simplify
lamdera make

[jfmengels]

For posterity's sake, it doesn't compile branch main at this commit. jfmengels/elm-review-simplify@0b1d176

It seems the commit where it starts breaking is jfmengels/elm-review-simplify@2b586477

[lydell]

Adding some more details (that are true on my computer, at least):

• If you have run elm make successfully before, lamdera make succeeds. Then you need to remove elm-stuff/ to trigger the bug. (Is that another bug?)
• lamdera make --no-wire works, it’s just with Wire generation that it fails.
• The error happens with 0.19.1-1.3.2 as well, so it’s not a recent regression or so. (Haven’t tested older versions.)
• Below is the error message I get.

Dependencies ready!
Detected problems in 1 module.
-- TYPE MISMATCH ------------------------------------ src/Simplify/Normalize.elm

The 1st argument to `w3_encode_ReduceLambdaResources` is not what I expect:

  ^^^^^^^^^^
This `w3_x_c_a` value is a:

    { a
        | inferredConstants : ( Infer.Inferred, List Infer.Inferred )
        , lookupTable : ModuleNameLookupTable
    }
    -> Lamdera.Wire3.Encoder

But `w3_encode_ReduceLambdaResources` needs the 1st argument to be:

    { context
        | importCustomTypes :
              Dict.Dict
                  Elm.Syntax.ModuleName.ModuleName
                  (
                  Dict.Dict
                      String
                      { allParametersAreUsedInVariants : Bool
                      , variantNames : Set.Set String
                      }
                  )
        , lookupTable : ModuleNameLookupTable
        , moduleCustomTypes :
              Dict.Dict
                  String
                  { allParametersAreUsedInVariants : Bool
                  , variantNames : Set.Set String
                  }
    }
    -> Lamdera.Wire3.Encoder

Hint: Seems like a record field typo. Maybe importCustomTypes should be
inferredConstants?

Hint: Can more type annotations be added? Type annotations always help me give
more specific messages, and I think they could help a lot in this case!

[miniBill]

robinheghan/elm-deque also fails

╰─ lamdera make --docs=docs.json                                                                             ─╯
Detected problems in 1 module.
-- INFINITE TYPE ------------------------------------------------- src/Deque.elm

I am inferring a weird self-referential type for w3_decode_Deque:

  ^^^^^^^^^^
Here is my best effort at writing down the type. You will see ∞ for parts of the
type that repeat something already printed out infinitely.

    ? -> Lamdera.Wire3.Decoder (Deque (Buffer ∞))

Staring at this type is usually not so helpful, so I recommend reading the hints
at <https://elm-lang.org/0.19.1/infinite-type> to get unstuck!

-- INFINITE TYPE ------------------------------------------------- src/Deque.elm

I am inferring a weird self-referential type for w3_decode_Deque:

  ^^^^^^^^^^
Here is my best effort at writing down the type. You will see ∞ for parts of the
type that repeat something already printed out infinitely.

    ? -> Lamdera.Wire3.Decoder (Deque (Buffer ∞))

Staring at this type is usually not so helpful, so I recommend reading the hints
at <https://elm-lang.org/0.19.1/infinite-type> to get unstuck!

-- INFINITE TYPE ------------------------------------------------- src/Deque.elm

I am inferring a weird self-referential type for w3_x_c_a:

  ^^^^^^^^^^
Here is my best effort at writing down the type. You will see ∞ for parts of the
type that repeat something already printed out infinitely.

    Lamdera.Wire3.Decoder (Buffer ∞)

Staring at this type is usually not so helpful, so I recommend reading the hints
at <https://elm-lang.org/0.19.1/infinite-type> to get unstuck!

-- TYPE MISMATCH ------------------------------------------------- src/Deque.elm

The 2nd argument to `w3_encode_Deque` is not what I expect:

  ^^^^^^^^^^
This `v2` value is a:

    Deque (Buffer a)

But `w3_encode_Deque` needs the 2nd argument to be:

    Deque a

Hint: I always figure out the argument types from left to right. If an argument
is acceptable, I assume it is “correct” and move on. So the problem may actually
be in one of the previous arguments!

Hint: Your type annotation uses type variable `a` which means ANY type of value
can flow through, but your code is saying it specifically wants a `Buffer`
value. Maybe change your type annotation to be more specific? Maybe change the
code to be more general?

Read <https://elm-lang.org/0.19.1/type-annotations> for more advice!

-- TYPE MISMATCH ------------------------------------------------- src/Deque.elm

The 1st argument to `w3_encode_Deque` is not what I expect:

  ^^^^^^^^^^
This `w3_encode_Buffer` call produces:

    Buffer a -> Lamdera.Wire3.Encoder

But `w3_encode_Deque` needs the 1st argument to be:

    a -> Lamdera.Wire3.Encoder

[miniBill]

╭─ ~/.elm/0.19.1/packages/mdgriffith/elm-codegen/5.2.0
╰─ lamdera make --docs=docs.json
Detected problems in 1 module.
-- TOO MANY ARGS --------------------------------------------------- src/Elm.elm

The `w3_decode_Arg` value is not a function, but it was given 1 argument.

  ^^^^^^^^^^
Are there any missing commas? Or missing parentheses?

-- TYPE MISMATCH --------------------------------------------------- src/Elm.elm

Something is off with the body of the `w3_encode_Arg` definition:

  ^^^^^^^^^^
This `w3_encode_Arg` call produces:

    Lamdera.Wire3.Encoder

But the type annotation on `w3_encode_Arg` says it should be:

    Arg val -> Lamdera.Wire3.Encoder

[miniBill]

To people who find this issue: you can use lamdera --no-wire to work around it