[New LWP 17967] [New LWP 17968] [New LWP 17969] [New LWP 17975] [Thread debugging using libthread_db enabled] Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1". __GI___libc_read (nbytes=4096, buf=0x55eea48d4f90, fd=0) at ../sysdeps/unix/sysv/linux/read.c:26 process 17961 cmdline = '/home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/bin/lean --worker file:///home/raphael/Dokumente/Uni/Lean/leanCourse24/LeanCourse/Assignments/Assignment1.lean' cwd = '/home/raphael/Dokumente/Uni/Lean/leanCourse24' exe = '/home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/bin/lean' Thread 5 (Thread 0x7fca0806d700 (LWP 17975)): #0 futex_wait_cancelable (private=, expected=0, futex_word=0x55eea48d4ee0) at ../sysdeps/nptl/futex-internal.h:183 #1 __pthread_cond_wait_common (abstime=0x0, clockid=0, mutex=0x55eea48d4c80, cond=0x55eea48d4eb8) at pthread_cond_wait.c:508 #2 __pthread_cond_wait (cond=0x55eea48d4eb8, mutex=0x55eea48d4c80) at pthread_cond_wait.c:647 #3 0x00007fca0fae73df in std::__1::condition_variable::wait(std::__1::unique_lock&) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #4 0x00007fca0fac43ab in lean_task_get () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #5 0x00007fca0f953928 in l_Lean_Language_SnapshotTask_get___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #6 0x00007fca0f95664a in l_List_forM___at_Lean_Language_SnapshotTree_trace_go___spec__4 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #7 0x00007fca0facfd5b in lean_apply_3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #8 0x00007fca0f95bb75 in l_Lean_withTraceNode___at_Lean_Language_SnapshotTree_trace_go___spec__5 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #9 0x00007fca0f95d7b5 in l_Lean_Language_SnapshotTree_trace_go___lambda__3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #10 0x00007fca0f957f14 in l_Lean_Language_SnapshotTree_trace_go () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #11 0x00007fca0facfd5b in lean_apply_3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #12 0x00007fca0be7c370 in l_Lean_Elab_Command_liftCoreM___rarg___lambda__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #13 0x00007fca0facfd5b in lean_apply_3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #14 0x00007fca0be7922e in l___private_Lean_Elab_Command_0__Lean_Elab_Command_runCore___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #15 0x00007fca0be7c63a in l_Lean_Elab_Command_liftCoreM___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #16 0x00007fca0bec0a79 in l_Lean_Elab_Command_elabCommandTopLevel___lambda__2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #17 0x00007fca0facde55 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #18 0x00007fca0c232ffe in l_Lean_profileitIOUnsafe___rarg___lambda__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #19 0x00007fca0c2331ff in l_Lean_profileitIOUnsafe___rarg___lambda__1___boxed () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #20 0x00007fca0facde29 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #21 0x00007fca0fa1ab3a in lean_profileit () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #22 0x00007fca0c233120 in l_Lean_profileitIOUnsafe___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #23 0x00007fca0bec2d7e in l_Lean_Elab_Command_elabCommandTopLevel () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #24 0x00007fca0facfd5b in lean_apply_3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #25 0x00007fca0bea4072 in l_Lean_Elab_withLogging___at_Lean_Elab_Command_elabCommand___spec__2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #26 0x00007fca0f96a01d in l_Lean_Language_Lean_process_doElab___lambda__2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #27 0x00007fca0f96d9af in l_Lean_Language_Lean_process_doElab___lambda__2___boxed () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #28 0x00007fca0facebef in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #29 0x00007fca0f969204 in l_IO_withStderr___at_Lean_Language_Lean_process_doElab___spec__4 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #30 0x00007fca0facebd4 in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #31 0x00007fca0f9687e4 in l_IO_withStdout___at_Lean_Language_Lean_process_doElab___spec__2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #32 0x00007fca0facebd4 in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #33 0x00007fca0f968cf4 in l_IO_withStdin___at_Lean_Language_Lean_process_doElab___spec__3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #34 0x00007fca0f9698d8 in l_IO_FS_withIsolatedStreams___at_Lean_Language_Lean_process_doElab___spec__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #35 0x00007fca0f96c288 in l_Lean_Language_Lean_process_doElab () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #36 0x00007fca0f96ea9a in l_Lean_Language_Lean_process_parseCmd___lambda__2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #37 0x00007fca0f9707e2 in l_Lean_Language_Lean_process_parseCmd___lambda__3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #38 0x00007fca0f973a28 in l_Lean_Language_Lean_process_parseCmd___lambda__3___boxed () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #39 0x00007fca0facfea1 in lean_apply_3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #40 0x00007fca0f971c46 in l_Lean_Language_Lean_process_parseCmd___lambda__7 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #41 0x00007fca0f973c29 in l_Lean_Language_Lean_process_parseCmd___lambda__8 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #42 0x00007fca0f96f850 in l_Lean_Language_Lean_process_parseCmd () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #43 0x00007fca0f9710f4 in l_Lean_Language_Lean_process_parseCmd___lambda__5 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #44 0x00007fca0facec0e in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #45 0x00007fca0f953310 in l_Lean_Language_SnapshotTask_bindIO___rarg___lambda__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #46 0x00007fca0facebbd in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #47 0x00007fca0fae1b8e in lean::lean_io_bind_task_fn(lean_object*, lean_object*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #48 0x00007fca0facde29 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #49 0x00007fca0fae1c63 in lean_io_bind_task () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #50 0x00007fca0f953609 in l_Lean_Language_SnapshotTask_bindIO___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #51 0x00007fca0facef53 in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #52 0x00007fca0f953310 in l_Lean_Language_SnapshotTask_bindIO___rarg___lambda__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #53 0x00007fca0facee81 in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #54 0x00007fca0fae1b8e in lean::lean_io_bind_task_fn(lean_object*, lean_object*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #55 0x00007fca0face100 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #56 0x00007fca0fac57d4 in lean::task_bind_fn1(lean_object*, lean_object*, lean_object*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #57 0x00007fca0face135 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #58 0x00007fca0facc668 in lean::task_manager::run_task(std::__1::unique_lock&, lean_task*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #59 0x00007fca0facd9b1 in lean::task_manager::spawn_worker()::{lambda()#1}::operator()() const () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #60 0x00007fca0fac0f9a in lean::lthread::imp::_main(void*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #61 0x00007fca0aa79609 in start_thread (arg=) at pthread_create.c:477 #62 0x00007fca0a99e353 in clone () at ../sysdeps/unix/sysv/linux/x86_64/clone.S:95 Thread 4 (Thread 0x7fca0886e700 (LWP 17969)): #0 futex_wait_cancelable (private=, expected=0, futex_word=0x55eea48d4ee0) at ../sysdeps/nptl/futex-internal.h:183 #1 __pthread_cond_wait_common (abstime=0x0, clockid=0, mutex=0x55eea48d4c80, cond=0x55eea48d4eb8) at pthread_cond_wait.c:508 #2 __pthread_cond_wait (cond=0x55eea48d4eb8, mutex=0x55eea48d4c80) at pthread_cond_wait.c:647 #3 0x00007fca0fae73df in std::__1::condition_variable::wait(std::__1::unique_lock&) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #4 0x00007fca0fac43ab in lean_task_get () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #5 0x00007fca0f953928 in l_Lean_Language_SnapshotTask_get___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #6 0x00007fca0f95664a in l_List_forM___at_Lean_Language_SnapshotTree_trace_go___spec__4 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #7 0x00007fca0facfd5b in lean_apply_3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #8 0x00007fca0f95bb75 in l_Lean_withTraceNode___at_Lean_Language_SnapshotTree_trace_go___spec__5 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #9 0x00007fca0f95d7b5 in l_Lean_Language_SnapshotTree_trace_go___lambda__3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #10 0x00007fca0f957f14 in l_Lean_Language_SnapshotTree_trace_go () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #11 0x00007fca0facfd5b in lean_apply_3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #12 0x00007fca0be7c370 in l_Lean_Elab_Command_liftCoreM___rarg___lambda__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #13 0x00007fca0facfd5b in lean_apply_3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #14 0x00007fca0be7922e in l___private_Lean_Elab_Command_0__Lean_Elab_Command_runCore___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #15 0x00007fca0be7c63a in l_Lean_Elab_Command_liftCoreM___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #16 0x00007fca0bec1107 in l_Lean_Elab_Command_elabCommandTopLevel___lambda__2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #17 0x00007fca0facde55 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #18 0x00007fca0c232ffe in l_Lean_profileitIOUnsafe___rarg___lambda__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #19 0x00007fca0c2331ff in l_Lean_profileitIOUnsafe___rarg___lambda__1___boxed () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #20 0x00007fca0facde29 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #21 0x00007fca0fa1ab3a in lean_profileit () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #22 0x00007fca0c233120 in l_Lean_profileitIOUnsafe___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #23 0x00007fca0bec2d7e in l_Lean_Elab_Command_elabCommandTopLevel () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #24 0x00007fca0facfd5b in lean_apply_3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #25 0x00007fca0bea4072 in l_Lean_Elab_withLogging___at_Lean_Elab_Command_elabCommand___spec__2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #26 0x00007fca0f96a01d in l_Lean_Language_Lean_process_doElab___lambda__2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #27 0x00007fca0f96d9af in l_Lean_Language_Lean_process_doElab___lambda__2___boxed () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #28 0x00007fca0facebef in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #29 0x00007fca0f969204 in l_IO_withStderr___at_Lean_Language_Lean_process_doElab___spec__4 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #30 0x00007fca0facebd4 in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #31 0x00007fca0f9687e4 in l_IO_withStdout___at_Lean_Language_Lean_process_doElab___spec__2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #32 0x00007fca0facebd4 in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #33 0x00007fca0f968cf4 in l_IO_withStdin___at_Lean_Language_Lean_process_doElab___spec__3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #34 0x00007fca0f9698d8 in l_IO_FS_withIsolatedStreams___at_Lean_Language_Lean_process_doElab___spec__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #35 0x00007fca0f96c288 in l_Lean_Language_Lean_process_doElab () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #36 0x00007fca0f96ea9a in l_Lean_Language_Lean_process_parseCmd___lambda__2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #37 0x00007fca0f9707e2 in l_Lean_Language_Lean_process_parseCmd___lambda__3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #38 0x00007fca0f973a28 in l_Lean_Language_Lean_process_parseCmd___lambda__3___boxed () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #39 0x00007fca0facfea1 in lean_apply_3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #40 0x00007fca0f971c46 in l_Lean_Language_Lean_process_parseCmd___lambda__7 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #41 0x00007fca0f973c29 in l_Lean_Language_Lean_process_parseCmd___lambda__8 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #42 0x00007fca0f96f850 in l_Lean_Language_Lean_process_parseCmd () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #43 0x00007fca0f9710f4 in l_Lean_Language_Lean_process_parseCmd___lambda__5 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #44 0x00007fca0facec0e in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #45 0x00007fca0f953310 in l_Lean_Language_SnapshotTask_bindIO___rarg___lambda__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #46 0x00007fca0facebbd in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #47 0x00007fca0fae1b8e in lean::lean_io_bind_task_fn(lean_object*, lean_object*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #48 0x00007fca0facde29 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #49 0x00007fca0fae1c63 in lean_io_bind_task () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #50 0x00007fca0f953609 in l_Lean_Language_SnapshotTask_bindIO___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #51 0x00007fca0facef53 in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #52 0x00007fca0f953310 in l_Lean_Language_SnapshotTask_bindIO___rarg___lambda__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #53 0x00007fca0facee81 in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #54 0x00007fca0fae1b8e in lean::lean_io_bind_task_fn(lean_object*, lean_object*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #55 0x00007fca0face100 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #56 0x00007fca0fac57d4 in lean::task_bind_fn1(lean_object*, lean_object*, lean_object*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #57 0x00007fca0face135 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #58 0x00007fca0facc668 in lean::task_manager::run_task(std::__1::unique_lock&, lean_task*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #59 0x00007fca0facd9b1 in lean::task_manager::spawn_worker()::{lambda()#1}::operator()() const () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #60 0x00007fca0fac0f9a in lean::lthread::imp::_main(void*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #61 0x00007fca0aa79609 in start_thread (arg=) at pthread_create.c:477 #62 0x00007fca0a99e353 in clone () at ../sysdeps/unix/sysv/linux/x86_64/clone.S:95 Thread 3 (Thread 0x7fca0906f700 (LWP 17968)): #0 futex_wait_cancelable (private=, expected=0, futex_word=0x55eea48d4ee0) at ../sysdeps/nptl/futex-internal.h:183 #1 __pthread_cond_wait_common (abstime=0x0, clockid=0, mutex=0x55eea48d4c80, cond=0x55eea48d4eb8) at pthread_cond_wait.c:508 #2 __pthread_cond_wait (cond=0x55eea48d4eb8, mutex=0x55eea48d4c80) at pthread_cond_wait.c:647 #3 0x00007fca0fae73df in std::__1::condition_variable::wait(std::__1::unique_lock&) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #4 0x00007fca0fac43ab in lean_task_get () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #5 0x00007fca0f953928 in l_Lean_Language_SnapshotTask_get___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #6 0x00007fca0f95664a in l_List_forM___at_Lean_Language_SnapshotTree_trace_go___spec__4 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #7 0x00007fca0facfd5b in lean_apply_3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #8 0x00007fca0f95bb75 in l_Lean_withTraceNode___at_Lean_Language_SnapshotTree_trace_go___spec__5 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #9 0x00007fca0f95d7b5 in l_Lean_Language_SnapshotTree_trace_go___lambda__3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #10 0x00007fca0f957f14 in l_Lean_Language_SnapshotTree_trace_go () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #11 0x00007fca0facfd5b in lean_apply_3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #12 0x00007fca0be7c370 in l_Lean_Elab_Command_liftCoreM___rarg___lambda__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #13 0x00007fca0facfd5b in lean_apply_3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #14 0x00007fca0be7922e in l___private_Lean_Elab_Command_0__Lean_Elab_Command_runCore___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #15 0x00007fca0be7c63a in l_Lean_Elab_Command_liftCoreM___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #16 0x00007fca0bec0a79 in l_Lean_Elab_Command_elabCommandTopLevel___lambda__2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #17 0x00007fca0facde55 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #18 0x00007fca0c232ffe in l_Lean_profileitIOUnsafe___rarg___lambda__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #19 0x00007fca0c2331ff in l_Lean_profileitIOUnsafe___rarg___lambda__1___boxed () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #20 0x00007fca0facde29 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #21 0x00007fca0fa1ab3a in lean_profileit () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #22 0x00007fca0c233120 in l_Lean_profileitIOUnsafe___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #23 0x00007fca0bec2d7e in l_Lean_Elab_Command_elabCommandTopLevel () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #24 0x00007fca0facfd5b in lean_apply_3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #25 0x00007fca0bea4072 in l_Lean_Elab_withLogging___at_Lean_Elab_Command_elabCommand___spec__2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #26 0x00007fca0f96a01d in l_Lean_Language_Lean_process_doElab___lambda__2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #27 0x00007fca0f96d9af in l_Lean_Language_Lean_process_doElab___lambda__2___boxed () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #28 0x00007fca0facebef in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #29 0x00007fca0f969204 in l_IO_withStderr___at_Lean_Language_Lean_process_doElab___spec__4 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #30 0x00007fca0facebd4 in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #31 0x00007fca0f9687e4 in l_IO_withStdout___at_Lean_Language_Lean_process_doElab___spec__2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #32 0x00007fca0facebd4 in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #33 0x00007fca0f968cf4 in l_IO_withStdin___at_Lean_Language_Lean_process_doElab___spec__3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #34 0x00007fca0f9698d8 in l_IO_FS_withIsolatedStreams___at_Lean_Language_Lean_process_doElab___spec__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #35 0x00007fca0f96c288 in l_Lean_Language_Lean_process_doElab () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #36 0x00007fca0f96ea9a in l_Lean_Language_Lean_process_parseCmd___lambda__2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #37 0x00007fca0f9707e2 in l_Lean_Language_Lean_process_parseCmd___lambda__3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #38 0x00007fca0f973a28 in l_Lean_Language_Lean_process_parseCmd___lambda__3___boxed () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #39 0x00007fca0facfea1 in lean_apply_3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #40 0x00007fca0f971c46 in l_Lean_Language_Lean_process_parseCmd___lambda__7 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #41 0x00007fca0f973c29 in l_Lean_Language_Lean_process_parseCmd___lambda__8 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #42 0x00007fca0f96f850 in l_Lean_Language_Lean_process_parseCmd () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #43 0x00007fca0f9710f4 in l_Lean_Language_Lean_process_parseCmd___lambda__5 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #44 0x00007fca0facec0e in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #45 0x00007fca0f953310 in l_Lean_Language_SnapshotTask_bindIO___rarg___lambda__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #46 0x00007fca0facebbd in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #47 0x00007fca0fae1b8e in lean::lean_io_bind_task_fn(lean_object*, lean_object*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #48 0x00007fca0facde29 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #49 0x00007fca0fae1c63 in lean_io_bind_task () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #50 0x00007fca0f953609 in l_Lean_Language_SnapshotTask_bindIO___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #51 0x00007fca0facef53 in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #52 0x00007fca0f953310 in l_Lean_Language_SnapshotTask_bindIO___rarg___lambda__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #53 0x00007fca0facee81 in lean_apply_2 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #54 0x00007fca0fae1b8e in lean::lean_io_bind_task_fn(lean_object*, lean_object*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #55 0x00007fca0face100 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #56 0x00007fca0fac57d4 in lean::task_bind_fn1(lean_object*, lean_object*, lean_object*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #57 0x00007fca0face135 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #58 0x00007fca0facc668 in lean::task_manager::run_task(std::__1::unique_lock&, lean_task*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #59 0x00007fca0facd9b1 in lean::task_manager::spawn_worker()::{lambda()#1}::operator()() const () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #60 0x00007fca0fac0f9a in lean::lthread::imp::_main(void*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #61 0x00007fca0aa79609 in start_thread (arg=) at pthread_create.c:477 #62 0x00007fca0a99e353 in clone () at ../sysdeps/unix/sysv/linux/x86_64/clone.S:95 Thread 2 (Thread 0x7fca09870700 (LWP 17967)): #0 0x00007fca0a95c23f in __GI___clock_nanosleep (clock_id=clock_id@entry=0, flags=flags@entry=0, req=0x7fca0986fbe0, rem=0x7fca0986fbe0) at ../sysdeps/unix/sysv/linux/clock_nanosleep.c:78 #1 0x00007fca0a961ec7 in __GI___nanosleep (requested_time=, remaining=) at nanosleep.c:27 #2 0x00007fca0faea68b in std::__1::this_thread::sleep_for(std::__1::chrono::duration > const&) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #3 0x00007fca0facb814 in lean_dbg_sleep () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #4 0x00007fca0ec6723c in l_Lean_Loop_forIn_loop___at_Lean_Server_FileWorker_runRefreshTask___spec__3 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #5 0x00007fca0face135 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #6 0x00007fca0baf77f6 in l_EStateM_bind___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #7 0x00007fca0face135 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #8 0x00007fca0bc3b470 in l_EIO_toBaseIO___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #9 0x00007fca0face100 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #10 0x00007fca0fae1a6e in lean::lean_io_as_task_fn(lean_object*, lean_object*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #11 0x00007fca0face100 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #12 0x00007fca0facc668 in lean::task_manager::run_task(std::__1::unique_lock&, lean_task*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #13 0x00007fca0facd9b1 in lean::task_manager::spawn_worker()::{lambda()#1}::operator()() const () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #14 0x00007fca0fac0f9a in lean::lthread::imp::_main(void*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #15 0x00007fca0aa79609 in start_thread (arg=) at pthread_create.c:477 #16 0x00007fca0a99e353 in clone () at ../sysdeps/unix/sysv/linux/x86_64/clone.S:95 Thread 1 (Thread 0x7fca0a874140 (LWP 17961)): #0 __GI___libc_read (nbytes=4096, buf=0x55eea48d4f90, fd=0) at ../sysdeps/unix/sysv/linux/read.c:26 #1 __GI___libc_read (fd=0, buf=0x55eea48d4f90, nbytes=4096) at ../sysdeps/unix/sysv/linux/read.c:24 #2 0x00007fca0a90fb9f in _IO_new_file_underflow (fp=0x7fca0aa6b980 <_IO_2_1_stdin_>) at libioP.h:948 #3 0x00007fca0a910f86 in __GI__IO_default_uflow (fp=0x7fca0aa6b980 <_IO_2_1_stdin_>) at libioP.h:948 #4 0x00007fca0a90a4f8 in _IO_getc (fp=0x7fca0aa6b980 <_IO_2_1_stdin_>) at getc.c:38 #5 0x00007fca0fae0038 in lean_io_prim_handle_get_line () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #6 0x00007fca0bc4a6bf in l_IO_FS_Stream_ofHandle___elambda__3___boxed () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #7 0x00007fca0face100 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #8 0x00007fca0ea42023 in l___private_Lean_Data_Lsp_Communication_0__IO_FS_Stream_readHeaderFields () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #9 0x00007fca0ea42603 in l___private_Lean_Data_Lsp_Communication_0__IO_FS_Stream_readLspHeader () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #10 0x00007fca0ea431e2 in l_IO_FS_Stream_readLspMessage () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #11 0x00007fca0ec645fe in l_Lean_Server_FileWorker_mainLoop () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #12 0x00007fca0ec71a78 in l_Lean_Server_FileWorker_initAndRunWorker___lambda__1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #13 0x00007fca0ec72f70 in lean_server_worker_main () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #14 0x00007fca0ba66c13 in lean_main () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #15 0x00007fca0a8a3083 in __libc_start_main (main=0x55eea2e23850
, argc=3, argv=0x7ffe41111f68, init=, fini=, rtld_fini=, stack_end=0x7ffe41111f58) at ../csu/libc-start.c:308 #16 0x000055eea2e23785 in _start () [Inferior 1 (process 17961) detached] [New LWP 6401] [New LWP 6402] [New LWP 6403] [New LWP 6406] [New LWP 17962] [Thread debugging using libthread_db enabled] Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1". futex_wait_cancelable (private=, expected=0, futex_word=0x561f40472ee4) at ../sysdeps/nptl/futex-internal.h:183 process 6400 cmdline = '/home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/bin/lean --server /home/raphael/Dokumente/Uni/Lean/leanCourse24' cwd = '/home/raphael/Dokumente/Uni/Lean/leanCourse24' exe = '/home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/bin/lean' Thread 6 (Thread 0x7f14f3fff700 (LWP 17962)): #0 __GI___libc_read (nbytes=4096, buf=0x7f14e0004c30, fd=6) at ../sysdeps/unix/sysv/linux/read.c:26 #1 __GI___libc_read (fd=6, buf=0x7f14e0004c30, nbytes=4096) at ../sysdeps/unix/sysv/linux/read.c:24 #2 0x00007f14fb9b4b9f in _IO_new_file_underflow (fp=0x561f40478fb0) at libioP.h:948 #3 0x00007f14fb9b5f86 in __GI__IO_default_uflow (fp=0x561f40478fb0) at libioP.h:948 #4 0x00007f14fb9af4f8 in _IO_getc (fp=0x561f40478fb0) at getc.c:38 #5 0x00007f1500b85038 in lean_io_prim_handle_get_line () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #6 0x00007f14fccef6bf in l_IO_FS_Stream_ofHandle___elambda__3___boxed () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #7 0x00007f1500b73100 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #8 0x00007f14ffae7023 in l___private_Lean_Data_Lsp_Communication_0__IO_FS_Stream_readHeaderFields () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #9 0x00007f14ffae7603 in l___private_Lean_Data_Lsp_Communication_0__IO_FS_Stream_readLspHeader () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #10 0x00007f14ffae81e2 in l_IO_FS_Stream_readLspMessage () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #11 0x00007f14ffbaa1fe in l___private_Lean_Server_Watchdog_0__Lean_Server_Watchdog_forwardMessages_loop () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #12 0x00007f1500b73177 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #13 0x00007f14fcce0470 in l_EIO_toBaseIO___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #14 0x00007f1500b73100 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #15 0x00007f1500b86a6e in lean::lean_io_as_task_fn(lean_object*, lean_object*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #16 0x00007f1500b73100 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #17 0x00007f1500b71668 in lean::task_manager::run_task(std::__1::unique_lock&, lean_task*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #18 0x00007f1500b71578 in std::__1::__function::__func, void ()>::operator()() () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #19 0x00007f1500b65f9a in lean::lthread::imp::_main(void*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #20 0x00007f14fbb1e609 in start_thread (arg=) at pthread_create.c:477 #21 0x00007f14fba43353 in clone () at ../sysdeps/unix/sysv/linux/x86_64/clone.S:95 Thread 5 (Thread 0x7f14f27fc700 (LWP 6406)): #0 futex_wait_cancelable (private=, expected=0, futex_word=0x561f40472eb4) at ../sysdeps/nptl/futex-internal.h:183 #1 __pthread_cond_wait_common (abstime=0x0, clockid=0, mutex=0x561f40472c80, cond=0x561f40472e88) at pthread_cond_wait.c:508 #2 __pthread_cond_wait (cond=0x561f40472e88, mutex=0x561f40472c80) at pthread_cond_wait.c:647 #3 0x00007f1500b8c3df in std::__1::condition_variable::wait(std::__1::unique_lock&) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #4 0x00007f1500b729d4 in lean::task_manager::spawn_worker()::{lambda()#1}::operator()() const () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #5 0x00007f1500b65f9a in lean::lthread::imp::_main(void*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #6 0x00007f14fbb1e609 in start_thread (arg=) at pthread_create.c:477 #7 0x00007f14fba43353 in clone () at ../sysdeps/unix/sysv/linux/x86_64/clone.S:95 Thread 4 (Thread 0x7f14f8911700 (LWP 6403)): #0 futex_wait_cancelable (private=, expected=0, futex_word=0x561f40472eb4) at ../sysdeps/nptl/futex-internal.h:183 #1 __pthread_cond_wait_common (abstime=0x0, clockid=0, mutex=0x561f40472c80, cond=0x561f40472e88) at pthread_cond_wait.c:508 #2 __pthread_cond_wait (cond=0x561f40472e88, mutex=0x561f40472c80) at pthread_cond_wait.c:647 #3 0x00007f1500b8c3df in std::__1::condition_variable::wait(std::__1::unique_lock&) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #4 0x00007f1500b729d4 in lean::task_manager::spawn_worker()::{lambda()#1}::operator()() const () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #5 0x00007f1500b65f9a in lean::lthread::imp::_main(void*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #6 0x00007f14fbb1e609 in start_thread (arg=) at pthread_create.c:477 #7 0x00007f14fba43353 in clone () at ../sysdeps/unix/sysv/linux/x86_64/clone.S:95 Thread 3 (Thread 0x7f14f9913700 (LWP 6402)): #0 __GI___libc_read (nbytes=4096, buf=0x561f404741e0, fd=0) at ../sysdeps/unix/sysv/linux/read.c:26 #1 __GI___libc_read (fd=0, buf=0x561f404741e0, nbytes=4096) at ../sysdeps/unix/sysv/linux/read.c:24 #2 0x00007f14fb9b4b9f in _IO_new_file_underflow (fp=0x7f14fbb10980 <_IO_2_1_stdin_>) at libioP.h:948 #3 0x00007f14fb9b5f86 in __GI__IO_default_uflow (fp=0x7f14fbb10980 <_IO_2_1_stdin_>) at libioP.h:948 #4 0x00007f14fb9af4f8 in _IO_getc (fp=0x7f14fbb10980 <_IO_2_1_stdin_>) at getc.c:38 #5 0x00007f1500b85038 in lean_io_prim_handle_get_line () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #6 0x00007f14fccef6bf in l_IO_FS_Stream_ofHandle___elambda__3___boxed () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #7 0x00007f1500b73100 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #8 0x00007f14ffae7023 in l___private_Lean_Data_Lsp_Communication_0__IO_FS_Stream_readHeaderFields () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #9 0x00007f14ffae7603 in l___private_Lean_Data_Lsp_Communication_0__IO_FS_Stream_readLspHeader () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #10 0x00007f14ffae81e2 in l_IO_FS_Stream_readLspMessage () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #11 0x00007f1500b73100 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #12 0x00007f14fcb9c7f6 in l_EStateM_bind___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #13 0x00007f1500b73135 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #14 0x00007f14fcce0470 in l_EIO_toBaseIO___rarg () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #15 0x00007f1500b73100 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #16 0x00007f1500b86a6e in lean::lean_io_as_task_fn(lean_object*, lean_object*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #17 0x00007f1500b73100 in lean_apply_1 () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #18 0x00007f1500b71668 in lean::task_manager::run_task(std::__1::unique_lock&, lean_task*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #19 0x00007f1500b729b1 in lean::task_manager::spawn_worker()::{lambda()#1}::operator()() const () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #20 0x00007f1500b65f9a in lean::lthread::imp::_main(void*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #21 0x00007f14fbb1e609 in start_thread (arg=) at pthread_create.c:477 #22 0x00007f14fba43353 in clone () at ../sysdeps/unix/sysv/linux/x86_64/clone.S:95 Thread 2 (Thread 0x7f14fa915700 (LWP 6401)): #0 futex_wait_cancelable (private=, expected=0, futex_word=0x561f40472eb0) at ../sysdeps/nptl/futex-internal.h:183 #1 __pthread_cond_wait_common (abstime=0x0, clockid=0, mutex=0x561f40472c80, cond=0x561f40472e88) at pthread_cond_wait.c:508 #2 __pthread_cond_wait (cond=0x561f40472e88, mutex=0x561f40472c80) at pthread_cond_wait.c:647 #3 0x00007f1500b8c3df in std::__1::condition_variable::wait(std::__1::unique_lock&) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #4 0x00007f1500b729d4 in lean::task_manager::spawn_worker()::{lambda()#1}::operator()() const () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #5 0x00007f1500b65f9a in lean::lthread::imp::_main(void*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #6 0x00007f14fbb1e609 in start_thread (arg=) at pthread_create.c:477 #7 0x00007f14fba43353 in clone () at ../sysdeps/unix/sysv/linux/x86_64/clone.S:95 Thread 1 (Thread 0x7f14fb919140 (LWP 6400)): #0 futex_wait_cancelable (private=, expected=0, futex_word=0x561f40472ee4) at ../sysdeps/nptl/futex-internal.h:183 #1 __pthread_cond_wait_common (abstime=0x0, clockid=0, mutex=0x561f40472c80, cond=0x561f40472eb8) at pthread_cond_wait.c:508 #2 __pthread_cond_wait (cond=0x561f40472eb8, mutex=0x561f40472c80) at pthread_cond_wait.c:647 #3 0x00007f1500b8c3df in std::__1::condition_variable::wait(std::__1::unique_lock&) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #4 0x00007f1500b70f34 in lean::task_manager::wait_any(lean_object*) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #5 0x00007f1500b86de6 in lean_io_wait_any () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #6 0x00007f14ffbe9977 in l_Lean_Server_Watchdog_mainLoop () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #7 0x00007f14ffbeeff0 in l_Lean_Server_Watchdog_initAndRunWatchdogAux () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #8 0x00007f14ffbf93e8 in lean_server_watchdog_main () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #9 0x00007f14fcb09912 in lean::run_server_watchdog(lean::buffer const&) () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #10 0x00007f14fcb0bbee in lean_main () from /home/raphael/.elan/toolchains/leanprover--lean4---v4.13.0-rc3/lib/lean/libleanshared.so #11 0x00007f14fb948083 in __libc_start_main (main=0x561f3fd9c850
, argc=3, argv=0x7fff7ba68df8, init=, fini=, rtld_fini=, stack_end=0x7fff7ba68de8) at ../csu/libc-start.c:308 #12 0x0000561f3fd9c785 in _start () [Inferior 1 (process 6400) detached]