github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-29 11:02:26 +03:00
Code Issues Projects Releases Wiki Activity

FreeAlgorithm doesn’t need recur when B: FreeConvertible.

Browse Source
This commit is contained in:
Rob Rix 2015-10-06 12:15:08 -04:00
parent 1fcba3fca0
commit 36c8fa03c9
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
prototype/Doubt/Algorithm.swift
View File

@ -201,4 +201,8 @@ extension FreeAlgorithm where B: FreeConvertible, B.RollType == A, B.PureType ==
self = .Roll(.Recursive(a, b, B.init >>> FreeAlgorithm.Pure))
}
}
public func evaluate(equals: (A, A) -> Bool) -> B {
return evaluate(equals, recur: { FreeAlgorithm($0, $1).evaluate(equals).free })
}
}