8000 highly nested comptimes lead to stackoverflow in type infference · Issue #16 · capy-language/capy · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
highly nested comptimes lead to stackoverflow in type infference #16
New issue
New issue
Open
Open
highly nested comptimes lead to stackoverflow in type infference#16
Labels
bugSomething isn't working
@lenawanel

Description

@lenawanel
lenawanel
opened on Sep 19, 2023

input:

a :: comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { comptime { }}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}};

backtrace:

    frame #924: 0x0000555555d8145c capy`hir_ty::ctx::_$LT$impl$u20$hir_ty..InferenceCtx$GT$::infer_expr::h9cd22f15f9238cc8(self=0x00007fffffffb340, expr=Idx<hir::body::Expr> @ 0x00007ffffffefc24) at ctx.rs:1270:26
    frame #925: 0x0000555555d82ed0 capy`hir_ty::ctx::_$LT$impl$u20$hir_ty..InferenceCtx$GT$::infer_expr::h9cd22f15f9238cc8(self=0x00007fffffffb340, expr=Idx<hir::body::Expr> @ 0x00007fffffff1f54) at ctx.rs:995:35
    frame #926: 0x0000555555d8145c capy`hir_ty::ctx::_$LT$impl$u20$hir_ty..InferenceCtx$GT$::infer_expr::h9cd22f15f9238cc8(self=0x00007fffffffb340, expr=Idx<hir::body::Expr> @ 0x00007fffffff4284) at ctx.rs:1270:26
    frame #927: 0x0000555555d82ed0 capy`hir_ty::ctx::_$LT$impl$u20$hir_ty..InferenceCtx$GT$::infer_expr::h9cd22f15f9238cc8(self=0x00007fffffffb340, expr=Idx<hir::body::Expr> @ 0x00007fffffff65b4) at ctx.rs:995:35
    frame #928: 0x0000555555d8145c capy`hir_ty::ctx::_$LT$impl$u20$hir_ty..InferenceCtx$GT$::infer_expr::h9cd22f15f9238cc8(self=0x00007fffffffb340, expr=Idx<hir::body::Expr> @ 0x00007fffffff88e4) at ctx.rs:1270:26
    frame #929: 0x0000555555d7b5b6 capy`hir_ty::ctx::_$LT$impl$u20$hir_ty..InferenceCtx$GT$::finish_body_unknown::h8921388941752fac(self=0x00007fffffffb340, body=Idx<hir::body::Expr> @ 0x00007fffffff8ef8, param_tys=Option<alloc::vec::Vec<internment::intern::Intern<hir_ty::resolved_ty::ResolvedTy>, alloc::alloc::Global>> @ 0x00007fffffff9088, global=true) at ctx.rs:108:9
    frame #930: 0x0000555555d86f8a capy`hir_ty::InferenceCtx::get_global_signature::hd58a84c6dcaca7b3(self=0x00007fffffffb340, global=0x00005555560e5648, fqn=Fqn @ 0x00007fffffff8fc0) at lib.rs:318:26
    frame #931: 0x0000555555d86bf8 capy`hir_ty::InferenceCtx::finish::hb9389d4b5c8341c6(self=InferenceCtx @ 0x00007fffffffb340) at lib.rs:271:21
    frame #932: 0x00005555556134a5 capy`capy::compile_file::hec827c3c1a6bf0ed(file_name=PathBuf @ 0x00007fffffffdb60, file_contents=String @ 0x00007fffffffdb80, entry_point=String @ 0x00007fffffffdba0, output=Option<alloc::string::String> @ 0x00007fffffffdbc0, config=CompilationConfig @ 0x00007fffffffdbe0, verbose='\0') at main.rs:264:39
    frame #933: 0x0000555555610e83 capy`capy::main::hafd8494adbfc3be4 at main.rs:112:5

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0