From 5e947ae30ada163874fd591fc16430491329f04d Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 15 Oct 2015 12:20:22 -0400 Subject: [PATCH] Rename `equals` to `equal`. --- prototype/Doubt/Interpreter.swift | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/prototype/Doubt/Interpreter.swift b/prototype/Doubt/Interpreter.swift index c0f987898..01b440e6a 100644 --- a/prototype/Doubt/Interpreter.swift +++ b/prototype/Doubt/Interpreter.swift @@ -3,19 +3,19 @@ public struct Interpreter { /// The type of diffs constructed by `Interpreter`s. public typealias Diff = Free> - public init(equals: (Term, Term) -> Bool, comparable: (Term, Term) -> Bool, cost: Diff -> Int) { - self.equals = equals + public init(equal: (Term, Term) -> Bool, comparable: (Term, Term) -> Bool, cost: Diff -> Int) { + self.equal = equal self.comparable = comparable self.cost = cost } - private let equals: (Term, Term) -> Bool + private let equal: (Term, Term) -> Bool private let comparable: (Term, Term) -> Bool private let cost: Diff -> Int /// Diff `a` against `b`, if comparable. private func recur(a: Term, _ b: Term) -> Diff? { - if equals(a, b) { return Diff(b) } + if equal(a, b) { return Diff(b) } guard comparable(a, b) else { return nil } let algorithm: Algorithm