fix bug with value inserted into ValSet: before, the value inserted into the 'from' field was the ID of the current platform, but this is incorrect as it is circular. To fix, the 'from' field now contains the ID of the previous platform which this platform was found from

2025-01-20 11:17:00 +00:00
parent 9c46e09ce4
commit 4e5219fccc
3 changed files with 28 additions and 18 deletions
--- a/fcore/bin-vec.sml
+++ b/fcore/bin-vec.sml
@@ -156,7 +156,7 @@ structure IntSet =
 structure ValSet =
  MakeBinVec
    (struct
-       type elem = {distance: int, from: char}
+       type elem = {distance: int, from: int}

       (* l, e and q functions are not actually used in the ValSet
       * because the IntSet is meant to contain keys while the ValSet