--- Log opened Tue Aug 31 00:00:54 2021 00:05 < meshcollider> darosior: more just that, if it is going to output something (`1 1 BOOLAND`) it should at least include the `VERIFY` too 00:05 < meshcollider> either report error and return nothing, or give the most "correct" attempt, ignoring type rules 00:06 < meshcollider> the rust implementation allows a lot more incorrectly typed stuff to be decoded than the cpp implementation too 05:42 -!- robertspigler [~robertspi@2001:470:69fc:105::2d53] has quit [Quit: Bridge terminating on SIGTERM] 05:42 -!- ksedgwic [~ksedgwicm@2001:470:69fc:105::ce1] has quit [Quit: Bridge terminating on SIGTERM] 05:45 -!- robertspigler [~robertspi@2001:470:69fc:105::2d53] has joined ##miniscript 05:53 -!- ksedgwic [~ksedgwicm@2001:470:69fc:105::ce1] has joined ##miniscript 09:26 < sanket1729> meshcollider: That would be a bug. The rust-implementation checks the typing rules after decoding a node, so it should be impossible to decode a incorrectly typed miniscript. 09:29 < darosior> It seems that the C++ implementation is doing that on purpose though? As IsValid() checks the type isn't nothing and isn't called by Decode 11:55 -!- roconnor [~roconnor@host-45-58-210-199.dyn.295.ca] has joined ##miniscript 21:00 -!- achow101 [~achow101@user/achow101] has quit [Quit: Bye] 21:00 -!- achow101 [~achow101@user/achow101] has joined ##miniscript 22:04 -!- roconnor [~roconnor@host-45-58-210-199.dyn.295.ca] has quit [Ping timeout: 252 seconds] --- Log closed Wed Sep 01 00:00:54 2021