Brachylog icon indicating copy to clipboard operation
Brachylog copied to clipboard

Published 20 hours ago • verified publisher icon JCumin

Concatenate and leading zeroes

Open JCumin opened this issue 8 years ago • 1 comments

If all elements of the input list are bound, we should relax the constraint that there cannot be any leading zero. If they are not all bound, then the behavior stays the same as before (to avoid infinite choice points).

This was brought up by @ais523 in this PPCG comment

JCumin avatar Jan 05 '17 07:01 JCumin

This commit solves this problem ONLY IF the input is ground and the output is a variable (which is typically when the problem occurs).

It still doesn't work properly when both the input and the output are ground. Concatenate's implementation is really messy and that's hard to implement without breaking everything.

JCumin avatar Jun 13 '17 11:06 JCumin