From f7cc2d4740825809569e45a51fafaee6439c709e Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Sat, 16 Nov 2024 19:59:46 +0000 Subject: [PATCH] change 'targetLength' of SearchList.t from 1024 to 32 --- fcore/search-list.sml | 4 +++- shf | Bin 1312976 -> 1312976 bytes 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/fcore/search-list.sml b/fcore/search-list.sml index 79a5f6a..8afb25f 100644 --- a/fcore/search-list.sml +++ b/fcore/search-list.sml @@ -28,7 +28,9 @@ struct () end - val targetLength = 1024 + (* clojure's persistent vectors contain arrays of length 32 + * and this data structure is similar to that, so we also use 32 *) + val targetLength = 32 val empty: t = {left = [], right = []} diff --git a/shf b/shf index c7f4639668be4eef64b2a0dae272d575eda594fe..371d86bfa01cf56bce2e435605c959ff70a8c0c6 100755 GIT binary patch delta 129 zcmcaGG2p_)fDKoeL<-6-9lqP^xN7HZHnk&n*>_i$_82w4U}}HC#0bP7ntA&RCYF!i zm>L+i-~P$c#0+G#$NyykVpbq#17da{<^W<&Am##MZXo6XVqPHT17dz4764*FAQsvl J|5vz>8vvOmJe&Xk delta 129 zcmcaGG2p_)fDKoeMEra%?&v$WQ>jou_|-JK%l1DX*vx2t!PNeOi4llFH1qZsOe`P2 zF);{izx|V?i5bXfkN?X8#H>Kf2E^<@%mKulK+FZi+(66&#JoVv2gLk94ALVA#6sKS J{|Xm!0{}ONJB9!N