Projection conversion function panics #160

New issue

Closed

opened 2025-01-16 08:41:08 -08:00 by aniva · 1 comment

aniva commented

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

Owner

From aniva/Trillium#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.

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.