runtime error in Json decoding

[goertzenator]

I have a Json decoder that creates a JS runtime error when executed. Note that decodeOffsets is factored out as a separate function:

decodeEeprom : Json.Decoder Eeprom
decodeEeprom =
    let
        createEeprom offsets subchannel_config channel_desc =
            { offsets = offsets,
              subchannel_config = subchannel_config,
              channel_desc = channel_desc
            }
        decodeOffsets           = "offsets" := decodeOffsets
        decodeSubchannel_config = "subchannel_config" := Json.list Json.int
        decodeChannel_desc      = "channel_desc" := Json.list Json.string
    in
        Json.object3 createEeprom decodeOffsets decodeSubchannel_config decodeChannel_desc

decodeOffsets = Json.list Json.float

The incorrect JS that is generated is...

var _user$project$Eeprom$decodeEeprom = function () {
    var decodeChannel_desc = A2(
        _elm_lang$core$Json_Decode_ops[':='],
        'channel_desc',
        _elm_lang$core$Json_Decode$list(_elm_lang$core$Json_Decode$string));
    var decodeSubchannel_config = A2(
        _elm_lang$core$Json_Decode_ops[':='],
        'subchannel_config',
        _elm_lang$core$Json_Decode$list(_elm_lang$core$Json_Decode$int));
    var decodeOffsets = A2(_elm_lang$core$Json_Decode_ops[':='], 'offsets', decodeOffsets); //<- decodeOffsets param is undefined!
    var createEeprom = F3(
        function (offsets, subchannel_config, channel_desc) {
            return {offsets: offsets, subchannel_config: subchannel_config, channel_desc: channel_desc};
        });
    return A4(_elm_lang$core$Json_Decode$object3, createEeprom, decodeOffsets, decodeSubchannel_config, decodeChannel_desc);
}();

In the above the decodeOffsets parameter to decodeOffsets = A2(... I assume should actually be referring to this function:

var _user$project$Eeprom$decodeOffsets = _elm_lang$core$Json_Decode$list(_elm_lang$core$Json_Decode$float);

But it doesn't, and it eventually crashes. :(

This is on elm-lang/core-4.0.5.

[process-bot]

Thanks for the issue! Make sure it satisfies this checklist. My human colleagues will appreciate it!

Here is what to expect next, and if anyone wants to comment, keep these things in mind.

[process-bot]

Thanks for the issue! Make sure it satisfies this checklist. My human colleagues will appreciate it!

Here is what to expect next, and if anyone wants to comment, keep these things in mind.

[goertzenator]

I've boiled this down to a much simpler example, and it may just be my misunderstanding of the language. In let y = y I assume this to mean "Create a local variable named y with the same value as the module-scoped y." But something else is clearly happening and instead of seeing the output "123" I see "<internal structure>".

I'm leaving the Json case above in place because it manifests in a more serious javascript crash.

import Html exposing (text)

main =
  text (toString x)

x : Int
x =
    let
        --y = 123  -- this outputs "123"
        y = y     -- this outputs "<internal structure>"
    in
        y

y = 123  -- not needed in "y = y" case

[goertzenator]

I've boiled this down to a much simpler example, and it may just be my misunderstanding of the language. In let y = y I assume this to mean "Create a local variable named y with the same value as the module-scoped y." But something else is clearly happening and instead of seeing the output "123" I see "<internal structure>".

I'm leaving the Json case above in place because it manifests in a more serious javascript crash.

import Html exposing (text)

main =
  text (toString x)

x : Int
x =
    let
        --y = 123  -- this outputs "123"
        y = y     -- this outputs "<internal structure>"
    in
        y

y = 123  -- not needed in "y = y" case

[evancz]

Duplicate of elm/compiler#873

[evancz]

Duplicate of elm/compiler#873