--- Log opened Thu Jul 14 00:00:20 2022 02:59 < darosior> sipa: the website, in the section "Analyze a Miniscript", will accept both `or_i(and_b(after(1),after(10000000)),pk(A))` and `or_i(and_b(after(1),a:after(10000000)),pk(A))` but the former is invalid 02:59 <@sipa> Does it say it is valid? 03:54 < darosior> Well before it refused invalid inputs. I think it's because we don't check validity at parsing time anymore, we need to check it explicitly to keep the same behaviour as before 03:55 <@sipa> ah 06:13 -!- instagibbs [~instagibb@pool-100-15-128-212.washdc.fios.verizon.net] has joined ##miniscript 17:21 -!- appservicebot [~afilini-m@2001:bc8:1828:245::2] has quit [Ping timeout: 276 seconds] 17:33 -!- appservicebot [~afilini-m@2001:bc8:1828:245::2] has joined ##miniscript --- Log closed Fri Jul 15 00:00:21 2022