# HG changeset patch # User Arne Babenhauserheide # Date 1613076867 -3600 # Thu Feb 11 21:54:27 2021 +0100 # Node ID 78bcd61e49c37c15fbe238b85677e401ab0ff55d # Parent 77e4875133b0225b7c304678bb498589cf58f871 beautify diff --git a/eris/eris.w b/eris/eris.w --- a/eris/eris.w +++ b/eris/eris.w @@ -354,8 +354,7 @@ . 2 define len : bytevector-length bv let loop : (bvs '()) (idx 0) - define end-idx - + idx blocksize + define end-idx : + idx blocksize cond {idx >= len} reverse! bvs