From aa8fe13355247b884d5c94fd2afbaef4c3447290 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Sat, 23 Sep 2017 08:51:22 -0400 Subject: [PATCH] Correct the indentation of the runAlgorithm signature. --- src/Interpreter.hs | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/src/Interpreter.hs b/src/Interpreter.hs index c3749be2b..12a4ed318 100644 --- a/src/Interpreter.hs +++ b/src/Interpreter.hs @@ -54,14 +54,14 @@ diffTermsWith :: forall syntax fields1 fields2 diffTermsWith comparable eqTerms t1 t2 = fromMaybe (replacing t1 t2) (runAlgorithm comparable eqTerms (diff t1 t2)) runAlgorithm :: (Diffable syntax, GAlign syntax, Traversable syntax, Alternative m, Monad m) - => ComparabilityRelation syntax (Record (FeatureVector ': fields1)) (Record (FeatureVector ': fields2)) -- ^ A relation on terms used to determine comparability and equality. - -> (Term syntax (Record (FeatureVector ': fields1)) -> Term syntax (Record (FeatureVector ': fields2)) -> Bool) -- ^ A relation used to determine term equivalence. - -> Algorithm - (Term syntax (Record (FeatureVector ': fields1))) - (Term syntax (Record (FeatureVector ': fields2))) - (Diff syntax (Record (FeatureVector ': fields1)) (Record (FeatureVector ': fields2))) - (Diff syntax (Record (FeatureVector ': fields1)) (Record (FeatureVector ': fields2))) - -> m (Diff syntax (Record (FeatureVector ': fields1)) (Record (FeatureVector ': fields2))) + => ComparabilityRelation syntax (Record (FeatureVector ': fields1)) (Record (FeatureVector ': fields2)) -- ^ A relation on terms used to determine comparability and equality. + -> (Term syntax (Record (FeatureVector ': fields1)) -> Term syntax (Record (FeatureVector ': fields2)) -> Bool) -- ^ A relation used to determine term equivalence. + -> Algorithm + (Term syntax (Record (FeatureVector ': fields1))) + (Term syntax (Record (FeatureVector ': fields2))) + (Diff syntax (Record (FeatureVector ': fields1)) (Record (FeatureVector ': fields2))) + (Diff syntax (Record (FeatureVector ': fields1)) (Record (FeatureVector ': fields2))) + -> m (Diff syntax (Record (FeatureVector ': fields1)) (Record (FeatureVector ': fields2))) runAlgorithm comparable eqTerms = go where go = iterFreerA (\ step yield -> case step of Algorithm.Diff t1 t2 -> (go (algorithmForTerms t1 t2) <|> pure (replacing t1 t2) >>= yield)