Term.hs: Rename findSimplifiable -> findSimplifiableEqs. #148

statebox · Aug 22, 2019 · 6a92d8e · 6a92d8e
1 parent 656001a
commit 6a92d8e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Language/CQL/Term.hs b/src/Language/CQL/Term.hs
@@ -269,11 +269,11 @@ occurs h x = case x of
 
 -- | If there is one, finds an equation of the form empty |- @gen/sk = term@,
 -- where @gen@ does not occur in @term@.
-findSimplifiable
+findSimplifiableEqs
  :: (Eq ty, Eq sym, Eq en, Eq fk, Eq att, Eq gen, Eq sk)
  => Set (Ctx var (ty+en), EQ var ty sym en fk att gen sk)
  -> Maybe (Head ty sym en fk att gen sk, Term var ty sym en fk att gen sk)
-findSimplifiable = procEqs . Set.toList
+findSimplifiableEqs = procEqs . Set.toList
  where
  g (Var _) _ = Nothing
  g (Sk y) t = if occurs (HSk y) t then Nothing else Just (HSk y, t)
@@ -330,7 +330,7 @@ simplifyTheoryStep
  :: (MultiTyMap '[Ord] '[var, ty, sym, en, fk, att, gen, sk])
  => Set (Ctx var (ty+en), EQ var ty sym en fk att gen sk)
  -> Maybe (Set (Ctx var (ty+en), EQ var ty sym en fk att gen sk), (Head ty sym en fk att gen sk, Term var ty sym en fk att gen sk))
-simplifyTheoryStep eqs = case findSimplifiable eqs of
+simplifyTheoryStep eqs = case findSimplifiableEqs eqs of
  Nothing -> Nothing
  Just (toRemove, replacer) -> let
  eqs2 = Set.map (\(ctx, EQ (lhs, rhs)) -> (ctx, EQ (replace' toRemove replacer lhs, replace' toRemove replacer rhs))) eqs