--- Log opened Sun Jul 25 00:00:16 2021
09:44 < sanket1729_> andytoshi: my reasoning was if something is valid according to the spec, rust-miniscript should be able to parse it
09:45 <@sipa> sanket1729_: yes; so the question is what the spec considers valid :)
09:45 <@sipa> (or what it should consider valid)
09:45 -!- mode/##miniscript [+o andytoshi] by sipa
09:47 < sanket1729_> Enforcing minimality makes things simple and probably will help if we want some sort "descriptor id" in the future. 
09:53 < sanket1729_> > i don't think we should accept things that are equivalent but less efficient than other things
09:54 < sanket1729_> We really cannot enforce this generally. Statements like <B> and ltvltvltv<B> are equivalent
09:55 < sanket1729_> Nevermind 
10:00 < sanket1729_> That is a different point. You were taking about "two miniscript strings that have the script, we should only accept more efficient one".
10:05 < sanket1729_> There are two spec related issues to discuss here. "Enforce usage of alias when possible for `l`, `u`, `t`, `pk()`, `pkh()` and `and_n`"
10:06 < sanket1729_> and add a type property so that `j:pk()` type things are correctly classified with `e` property
10:07 < sanket1729_> I could go either ways on alias thing. But I think we should fix the second one
10:08 < sanket1729_> sipa: andytoshi: any thoughts?
10:09 -!- sanket1729_ is now known as sanket1729
12:16 <@sipa> sanket1729: i agree with the argument in favor of minimality, but i don't know if it's tenable
12:16 <@sipa> especially if we think of descriptors/miniscript as an extensible things
16:06 -!- meshcollider [meshcollid@user/meshcollider] has quit [Remote host closed the connection]
16:25 -!- meshcollider [meshcollid@meshcollider.jujube.ircnow.org] has joined ##miniscript
22:13 -!- Netsplit *.net <-> *.split quits: robertspigler
22:18 -!- robertspigler [~robertspi@2001:470:69fc:105::2d53] has joined ##miniscript
--- Log closed Mon Jul 26 00:00:17 2021