github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 17:59:10 +03:00
Code Issues Projects Releases Wiki Activity

Call a Term a Term.

Browse Source
This commit is contained in:
Rob Rix 2015-10-06 12:25:40 -04:00
parent cce1ed61aa
commit 67d35078d8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
prototype/Doubt/Algorithm.swift
View File

@ -189,7 +189,7 @@ extension Free: FreeConvertible {
extension FreeAlgorithm where B: FreeConvertible, B.RollType == A, B.PureType == Patch<A> {
/// `FreeAlgorithm<A, Diff>`s can be constructed from a pair of `Term`s using `ByKey` when `Keyed`, `ByIndex` when `Indexed`, and `Recursive` otherwise.
public init(_ a: Fix<A>, _ b: Fix<A>) {
public init(_ a: Term, _ b: Term) {
switch (a.out, b.out) {
case let (.Keyed(a), .Keyed(b)):
self = .Roll(.ByKey(a, b, Syntax.Keyed >>> Free.Roll >>> B.init >>> Pure))