From 5461ef732e25f61b6a095f1060df220bd2f03a44 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 15 Mar 2024 10:39:22 -0400 Subject: [PATCH] Reformat. --- semantic-analysis/src/Analysis/Syntax.hs | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/semantic-analysis/src/Analysis/Syntax.hs b/semantic-analysis/src/Analysis/Syntax.hs index 27d532702a..20283d4498 100644 --- a/semantic-analysis/src/Analysis/Syntax.hs +++ b/semantic-analysis/src/Analysis/Syntax.hs @@ -77,18 +77,18 @@ infixl 1 :>> subterms :: Term -> Set.Set Term subterms t = Set.singleton t <> case t of - Var _ -> mempty - Noop -> mempty - Iff c t e -> subterms c <> subterms t <> subterms e - Bool _ -> mempty - String _ -> mempty - Throw t -> subterms t - Let _ v b -> subterms v <> subterms b - a :>> b -> subterms a <> subterms b - Import _ -> mempty + Var _ -> mempty + Noop -> mempty + Iff c t e -> subterms c <> subterms t <> subterms e + Bool _ -> mempty + String _ -> mempty + Throw t -> subterms t + Let _ v b -> subterms v <> subterms b + a :>> b -> subterms a <> subterms b + Import _ -> mempty Function _ _ b -> subterms b - Call f as -> subterms f <> foldMap subterms as - Locate _ b -> subterms b + Call f as -> subterms f <> foldMap subterms as + Locate _ b -> subterms b -- Abstract interpretation