From e84204bbcc15fc2b2e62c5fb8e105a68a72dbe0c Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 18 Dec 2018 14:16:42 -0500 Subject: [PATCH] Reformat runDomainEffects. --- src/Semantic/Analysis.hs | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/src/Semantic/Analysis.hs b/src/Semantic/Analysis.hs index 032e61ded..f6b908580 100644 --- a/src/Semantic/Analysis.hs +++ b/src/Semantic/Analysis.hs @@ -126,7 +126,17 @@ runDomainEffects :: ( AbstractValue term address value (DomainC term address val => (term -> Evaluator term address value (DomainC term address value m) value) -> Module (Either (proxy lang) term) -> Evaluator term address value m value -runDomainEffects runTerm = raiseHandler runInterpose . runUnit . runBitwise . runNumeric . runString . runBoolean . runWhile . runFunction runTerm . either ((unit <*) . definePrelude) runTerm . moduleBody +runDomainEffects runTerm + = raiseHandler runInterpose + . runUnit + . runBitwise + . runNumeric + . runString + . runBoolean + . runWhile + . runFunction runTerm + . either ((unit <*) . definePrelude) runTerm + . moduleBody -- | Evaluate a term recursively, applying the passed function at every recursive position. --