Skip to content

Migrating incomplete schema to olog causes panic #1235

Description

@kasbah

Going from e.g. this schema to an olog

{"name":"","notebook":{"cellContents":{"019db06a-363b-743f-a2d2-be00d6c8ea76":{"tag":"formal","id":"019db06a-363b-743f-a2d2-be00d6c8ea76","content":{"tag":"object","id":"019db06a-363b-743f-a2d2-b8929c8f32c7","name":"","obType":{"tag":"Basic","content":"AttrType"}}},"019db06a-4143-7090-9e82-ef236a1141e6":{"content":{"cod":null,"dom":null,"id":"019db06a-4143-7090-9e82-ebf9bf62feff","morType":{"content":"Attr","tag":"Basic"},"name":"","tag":"morphism"},"id":"019db06a-4143-7090-9e82-ef236a1141e6","tag":"formal"}},"cellOrder":["019db06a-363b-743f-a2d2-be00d6c8ea76","019db06a-4143-7090-9e82-ef236a1141e6"]},"theory":"simple-schema","type":"model","version":"1"}
panicked at packages/catlog/src/dbl/discrete/model.rs:201:42:
Morphism should have type

Stack:

yI/<@https://next.catcolab.org/assets/index-CU4bO6lO.js:6:33793
$e@https://next.catcolab.org/assets/index-CU4bO6lO.js:3:698
yI@https://next.catcolab.org/assets/index-CU4bO6lO.js:6:33772
catlog_wasm.wasm.console_error_panic_hook::Error::new::__wbg_new_8a6f238a6ece86ea::hc2074e303e047fc1 externref shim@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[56545]:0xa93ffe
catlog_wasm.wasm.console_error_panic_hook::Error::new::h793c2155b59e8d83@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[34268]:0x99f145
catlog_wasm.wasm.console_error_panic_hook::hook_impl::hf073596bbe533fb2@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[13683]:0x739250
catlog_wasm.wasm.console_error_panic_hook::hook::h51716af7dd3d18d9@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[67415]:0xab6315
catlog_wasm.wasm.core::ops::function::Fn::call::h790beed09d64077c@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[46814]:0xa549d8
catlog_wasm.wasm.std::panicking::panic_with_hook::hdd610f6c18026bcb@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[12778]:0x70d7a1
catlog_wasm.wasm.std::panicking::panic_handler::{{closure}}::ha276f0fd86b6d853@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[23517]:0x8a9267
catlog_wasm.wasm.std::sys::backtrace::__rust_end_short_backtrace::he893bb92b16d0829@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[71757]:0xac09ee
catlog_wasm.wasm.__rustc[d131491b17107b07]::rust_begin_unwind@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[46141]:0xa4d7a9
catlog_wasm.wasm.core::panicking::panic_fmt::ha9276d4d9f74c64e@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[40292]:0xa019e1
catlog_wasm.wasm.core::option::expect_failed::h5c3082ccea2de99b@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[40293]:0xa01a1e
catlog_wasm.wasm.core::option::Option<T>::expect::hb152a6cf774d9fc1@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[26418]:0x8f83fc
catlog_wasm.wasm.<catlog::dbl::discrete::model::DiscreteDblModel as catlog::dbl::model::FpDblModel>::mor_generator_type::h828eccd87bcfc10c@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[38050]:0x9dee40
catlog_wasm.wasm.<catlog::dbl::discrete::model::DiscreteDblModel as catlog::dbl::model::DblModel>::mor_type::{{closure}}::hc561c43949da4771@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[52690]:0xa82465
catlog_wasm.wasm.nonempty::NonEmpty<T>::map::h409863ab9729a435@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[7163]:0x5aaeeb
catlog_wasm.wasm.catlog::one::path::Path<V,E>::map::h21750cf2bec12bb7@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[3252]:0x40d6d8
catlog_wasm.wasm.<catlog::dbl::discrete::model::DiscreteDblModel as catlog::dbl::model::DblModel>::mor_type::h98d0eae265d12f57@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[11044]:0x6b16ba
catlog_wasm.wasm.catlog_wasm::model::DblModel::mor_type::hf205703aebca86c0@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[503]:0x1b0487
catlog_wasm.wasm.dblmodel_morType@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[11113]:0x6b5559
catlog_wasm.wasm.dblmodel_morType externref shim@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[53350]:0xa85af7
catlog_wasm.wasm.dblmodel_morType externref shim multivalue shim@https://next.catcolab.org/assets/catlog_wasm_bg-Dnemb77P.wasm:wasm-function[46166]:0xa4dc03
morType@https://next.catcolab.org/assets/index-CU4bO6lO.js:6:7601
Phe/<@https://next.catcolab.org/assets/index-CU4bO6lO.js:288:20522
nh@https://next.catcolab.org/assets/index-CU4bO6lO.js:280:27874
gJ@https://next.catcolab.org/assets/index-CU4bO6lO.js:280:26707
change/<@https://next.catcolab.org/assets/index-CU4bO6lO.js:282:72488
callback@https://next.catcolab.org/assets/index-CU4bO6lO.js:282:69664
f0/s<.actions.onUpdate<@https://next.catcolab.org/assets/index-CU4bO6lO.js:282:68606
FY@https://next.catcolab.org/assets/index-CU4bO6lO.js:281:11122
Hk@https://next.catcolab.org/assets/index-CU4bO6lO.js:281:6401
bc@https://next.catcolab.org/assets/index-CU4bO6lO.js:281:6635
V1@https://next.catcolab.org/assets/index-CU4bO6lO.js:281:3310
Ym@https://next.catcolab.org/assets/index-CU4bO6lO.js:281:7161
transition@https://next.catcolab.org/assets/index-CU4bO6lO.js:282:1748
_process@https://next.catcolab.org/assets/index-CU4bO6lO.js:280:52710
flush@https://next.catcolab.org/assets/index-CU4bO6lO.js:280:44537
enqueue@https://next.catcolab.org/assets/index-CU4bO6lO.js:280:44473
_send@https://next.catcolab.org/assets/index-CU4bO6lO.js:280:53960
_relay@https://next.catcolab.org/assets/index-CU4bO6lO.js:280:47924
send@https://next.catcolab.org/assets/index-CU4bO6lO.js:280:53991
#c@https://next.catcolab.org/assets/index-CU4bO6lO.js:282:69617
change@https://next.catcolab.org/assets/index-CU4bO6lO.js:282:72482
changeDoc@https://next.catcolab.org/assets/index-CU4bO6lO.js:280:9466
Phe@https://next.catcolab.org/assets/index-CU4bO6lO.js:288:20339


catlog_wasm_bg.js:2223:17

Metadata

Metadata

Assignees

No one assigned

    Labels

    coreRust core for categorical logic and general computation

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions