I found a bug where formulet throws an assertion error, "first argument must be a vector of binding pairs," when provided with an odd number of binding pairs. Looks like a simple typo where we should be counting bindings instead of binding-pairs. I've lifted the assert outside of the let to make this extra clear.
I've adjusted the test cases to demonstrate the bug in the absence of this fix.
I found a bug where
formulet
throws an assertion error, "first argument must be a vector of binding pairs," when provided with an odd number of binding pairs. Looks like a simple typo where we should be countingbindings
instead ofbinding-pairs
. I've lifted theassert
outside of thelet
to make this extra clear.I've adjusted the test cases to demonstrate the bug in the absence of this fix.