From 845ae84d9ef3c1d519b1031e87577c8b88654e19 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 24 Feb 2017 09:12:27 -0500 Subject: [PATCH] Use the SyntaxDiff/SyntaxTerm type synonyms. --- src/Interpreter.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Interpreter.hs b/src/Interpreter.hs index b17857542..31819e74a 100644 --- a/src/Interpreter.hs +++ b/src/Interpreter.hs @@ -110,8 +110,8 @@ runAlgorithm recur = iterAp $ \ r cont -> case r of -- | Decompose a step of an algorithm into the next steps to perform. decompose :: (Eq leaf, HasField fields Category, HasField fields (Maybe FeatureVector)) - => AlgorithmF (Term (Syntax leaf) (Record fields)) (Diff (Syntax leaf) (Record fields)) result -- ^ The step in an algorithm to decompose into its next steps. - -> Algorithm (Term (Syntax leaf) (Record fields)) (Diff (Syntax leaf) (Record fields)) result -- ^ The sequence of next steps to undertake to continue the algorithm. + => AlgorithmF (SyntaxTerm leaf fields) (SyntaxDiff leaf fields) result -- ^ The step in an algorithm to decompose into its next steps. + -> Algorithm (SyntaxTerm leaf fields) (SyntaxDiff leaf fields) result -- ^ The sequence of next steps to undertake to continue the algorithm. decompose = \case Diff t1 t2 -> algorithmWithTerms t1 t2 Linear t1 t2 -> case galignWith diffThese (unwrap t1) (unwrap t2) of