Debugging help for compiler crash

bhansconnect commented 2 years ago

So I am trying to resurrect an old project and get it compiling again. I updated the app to check again, but now it is hitting a compiler bug that I am quite uncertain of. Looking for help in debugging/working around this. The project is here: https://github.com/bhansconnect/functional-mos6502-web-performance

I am trying to get roc build --target=wasm32 implementations/roc/emulator.roc to work. I partially minimized the example on the minimized branch. Specifically I get the error when the main `when statement at the bottom of the file has at least 2 matches. If you comment out this line the app will compile.

@ayazhafiz, I would assume you would have the best guess here. Any ideas?

Error:

thread 'main' panicked at 'internal error: entered unreachable code: symbol/layout `17.IdentId(11)` ProcLayout {
    arguments: [
        Struct {
            field_order_hash: FieldOrderHash(
                0,
            ),
            field_layouts: [],
        },
        LambdaSet(
            LambdaSet {
                set: [
                    ( 17.11, [LambdaSet(LambdaSet { set: [( 17.11, [LambdaSet(LambdaSet { set: [( 17.32, [Builtin(Int(U16))])], representation: Interned(2, PhantomData) }), LambdaSet(LambdaSet { set: [( 16.55, [Struct { field_order_hash: FieldOrderHash(1371262882315734191), field_layouts: [Builtin(Int(U16)), Builtin(Int(U8)), Builtin(Int(U8)), Builtin(Int(U8)), Builtin(Int(U8)), Builtin(Int(U8))] }])], representation: Interned(3, PhantomData) })])], representation: Interned(4, PhantomData) }), LambdaSet(LambdaSet { set: [( 16.73, [])], representation: Interned(0, PhantomData) })]),
                    ( 17.11, [LambdaSet(LambdaSet { set: [( 17.32, [Builtin(Int(U16))])], representation: Interned(2, PhantomData) }), LambdaSet(LambdaSet { set: [( 16.55, [Struct { field_order_hash: FieldOrderHash(1371262882315734191), field_layouts: [Builtin(Int(U16)), Builtin(Int(U8)), Builtin(Int(U8)), Builtin(Int(U8)), Builtin(Int(U8)), Builtin(Int(U8))] }])], representation: Interned(3, PhantomData) })]),
                ],
                representation: Interned(
                    8,
                    PhantomData,
                ),
            },
        ),
    ],
    result: Struct {
        field_order_hash: FieldOrderHash(
            11857316205579443912,
        ),
        field_layouts: [
            Struct {
                field_order_hash: FieldOrderHash(
                    1371262882315734191,
                ),
                field_layouts: [
                    Builtin(
                        Int(
                            U16,
                        ),
                    ),
                    Builtin(
                        Int(
                            U8,
                        ),
                    ),
                    Builtin(
                        Int(
                            U8,
                        ),
                    ),
                    Builtin(
                        Int(
                            U8,
                        ),
                    ),
                    Builtin(
                        Int(
                            U8,
                        ),
                    ),
                    Builtin(
                        Int(
                            U8,
                        ),
                    ),
                ],
            },
            Builtin(
                Int(
                    U8,
                ),
            ),
        ],
    },
    captures_niche: CapturesNiche(
        [
            LambdaSet(
                LambdaSet {
                    set: [
                        ( 17.11, [LambdaSet(LambdaSet { set: [( 17.32, [Builtin(Int(U16))])], representation: Interned(2, PhantomData) }), LambdaSet(LambdaSet { set: [( 16.55, [Struct { field_order_hash: FieldOrderHash(1371262882315734191), field_layouts: [Builtin(Int(U16)), Builtin(Int(U8)), Builtin(Int(U8)), Builtin(Int(U8)), Builtin(Int(U8)), Builtin(Int(U8))] }])], representation: Interned(3, PhantomData) })]),
                    ],
                    representation: Interned(
                        4,
                        PhantomData,
                    ),
                },
            ),
            LambdaSet(
                LambdaSet {
                    set: [
                        ( 16.73, []),
                    ],
                    representation: Interned(
                        0,
                        PhantomData,
                    ),
                },
            ),
        ],
    ),
} combo must be in DeclarationToIndex', crates/compiler/mono/src/borrow.rs:165:9
stack backtrace:
   0: _rust_begin_unwind
   1: core::panicking::panic_fmt
   2: roc_mono::borrow::ParamMap::get_param_offset
   3: roc_mono::borrow::BorrowInfState::collect_expr
   4: roc_mono::borrow::BorrowInfState::collect_stmt
   5: roc_mono::borrow::BorrowInfState::collect_stmt
   6: roc_mono::borrow::BorrowInfState::collect_stmt
   7: roc_mono::borrow::BorrowInfState::collect_stmt
   8: roc_mono::borrow::infer_borrow
   9: roc_mono::ir::Proc::insert_refcount_operations
  10: roc_load_internal::file::update
  11: roc_load_internal::file::state_thread_step
  12: roc_load_internal::file::load
  13: roc_load::load_and_monomorphize
  14: roc_cli::build::build_file
  15: roc_cli::build
  16: roc::main