From 0598e0727e32afaadda42a9a082be5fd8e2ba6c5 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 4 Aug 2016 11:03:13 -0400 Subject: [PATCH] algorithmWithTerms does not constrain the annotation type. --- src/Interpreter.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Interpreter.hs b/src/Interpreter.hs index 9f584abc7..e16a05cac 100644 --- a/src/Interpreter.hs +++ b/src/Interpreter.hs @@ -35,7 +35,7 @@ diffComparableTerms construct comparable cost a b | comparable a b = run construct comparable cost (algorithmWithTerms construct a b) | otherwise = Nothing -algorithmWithTerms :: Eq leaf => DiffConstructor leaf (Record fields) -> Term leaf (Record fields) -> Term leaf (Record fields) -> Algorithm (Term leaf (Record fields)) (Diff leaf (Record fields)) (Diff leaf (Record fields)) +algorithmWithTerms :: Eq leaf => DiffConstructor leaf a -> Term leaf a -> Term leaf a -> Algorithm (Term leaf a) (Diff leaf a) (Diff leaf a) algorithmWithTerms construct t1 t2 = case (unwrap t1, unwrap t2) of (Indexed a, Indexed b) -> do diffs <- byIndex a b