1
1
mirror of https://github.com/github/semantic.git synced 2024-12-01 17:59:10 +03:00

Construct the terms in Fix.

This commit is contained in:
Rob Rix 2015-10-06 20:39:51 -04:00
parent ee151d0edc
commit f131f40752

View File

@ -106,6 +106,6 @@ extension Term where A: StringConvertible {
}
}
if let a = arguments[1].flatMap(Term<Info>.init), b = arguments[2].flatMap(Term<Info>.init) {
if let a = arguments[1].flatMap({ Fix<Info>(path: $0) }), b = arguments[2].flatMap({ Fix<Info>(path: $0) }) {
print(String(reflecting: FreeAlgorithm<Info, Free<Info, Patch<Info>>>(a, b)))
}