Projection conversion function panics #160

New Issue

aniva · 2025-01-16T08:41:08-08:00

aniva commented

2025-01-16 08:41:08 -08:00

PANIC at Option.get! Init.Data.Option.BasicAux:16:14: value is none
backtrace:
/nix/store/vvihdw2r79bkvqqlfd4rmalh3ihllg7i-lean-stage1/lib/lean/libleanshared.so(lean_panic_fn+0x6d) [0x7563251dc87d]
/nix/store/rf860w21iys8zc7d9fb6j1sxka93lqci-libPantograph-dynlib/libPantograph.so(pantograph_expr_proj_to_app+0x393) [0x75631fe8ffb3]

This happened during cataloging.

From https://git.leni.sh/aniva/Trillium/pulls/145 ``` PANIC at Option.get! Init.Data.Option.BasicAux:16:14: value is none backtrace: /nix/store/vvihdw2r79bkvqqlfd4rmalh3ihllg7i-lean-stage1/lib/lean/libleanshared.so(lean_panic_fn+0x6d) [0x7563251dc87d] /nix/store/rf860w21iys8zc7d9fb6j1sxka93lqci-libPantograph-dynlib/libPantograph.so(pantograph_expr_proj_to_app+0x393) [0x75631fe8ffb3] ``` This happened during cataloging.

aniva added this to the 0.2.25 milestone 2025-01-16 08:41:08 -08:00

aniva added the

labels 2025-01-16 08:41:08 -08:00

aniva self-assigned this 2025-01-16 08:41:08 -08:00

Sign in to join this conversation.