github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
Code Issues Projects Releases Wiki Activity

Remove the unflattened implementation.

Browse Source
This commit is contained in:
Rob Rix 2015-11-12 18:01:23 -05:00
parent 561045ced4
commit aed17adfed
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
prototype/Doubt/Cofree.swift
View File

@ -69,8 +69,6 @@ extension Cofree {
case let (.Unroll(a, s), .Unroll(b, t)):
return annotation(a, b) && Syntax.equals(leaf: leaf, recur: Cofree.equals(annotation: annotation, leaf: leaf))(s, t)
}
return annotation(left.extract, right.extract)
&& Syntax.equals(leaf: leaf, recur: Cofree.equals(annotation: annotation, leaf: leaf))(left.unwrap, right.unwrap)
}
}