From f4a905397707b937f9a36157a492ff70a7bbb1c5 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 23 Oct 2015 11:44:00 -0400 Subject: [PATCH] Use the convenience constructor. --- prototype/Doubt/Interpreter.swift | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prototype/Doubt/Interpreter.swift b/prototype/Doubt/Interpreter.swift index 57ebe90e0..e0b323ffa 100644 --- a/prototype/Doubt/Interpreter.swift +++ b/prototype/Doubt/Interpreter.swift @@ -45,7 +45,7 @@ public struct Interpreter { // If both terms are equal, we don’t need to bother diffing. // // In that case, zip the two terms together (to pair their annotations), and then map the resulting `Term` (which, since the terms are equal, will be non-nil) into a `Diff`. - if equal(a, b) { return hylo(Diff.Roll, Cofree.eliminate)(Term.zip(a, b)!) } + if equal(a, b) { return Diff(Term.zip(a, b)!) } guard comparable(a, b) else { return nil } let algorithm: Algorithm