Replace Vector with List

Author: Laurent

core/package.yaml

@@ -16,7 +16,6 @@ library:
     - template-haskell
     - text
     - unordered-containers
-    - vector
     - wl-pprint-text
 
 tests:

core/src/Language/Avaleryar/Semantics.hs

@@ -283,7 +283,7 @@ compilePred rules =
   if all isFact rules
     then
       -- We precompute the set
-      let setOfVals = Vector.fromList $ fmap (mapMaybe termVal . litTerms . ruleLit) rules
+      let setOfVals = fmap (mapMaybe termVal . litTerms . ruleLit) rules
       in \arg@(Lit _ qas) -> do
         qas <- traverse subst qas
         let f term (allVals, vals) = case term of
@@ -294,7 +294,7 @@ compilePred rules =
         -- In that case, if the values of qas are in the set, the predicate succeeds.
         -- Otherwise, it fails.
         if allVals
-          then guard (Vector.elem vals setOfVals)
+          then guard (elem vals setOfVals)
           -- If qas aren't all values, we can't use the set and must fallback to the default behavior.
           -- This is because in this case the variables will be unified with the values, so it's not just
           -- a guard.