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

Revert "Constrain Free equality over CofreeType to terms whose annotations are equatable."

Browse Source 
This reverts commit a79f354992cbca36fa3e55de648e6bc6c55f956b.
This commit is contained in:
Rob Rix 2015-10-22 15:51:52 -04:00
parent 651a3c2f91
commit 5e0fbd8d8c
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/Free.swift
View File

@ -193,7 +193,7 @@ public func == <Leaf: Equatable, Value: Equatable, Annotation: Equatable> (left:
return Free.equals(pure: ==, leaf: ==)(left, right)
}
public func == <Term: CofreeType where Term.Leaf: Equatable, Term.Annotation: Equatable> (left: Free<Term.Leaf, Term.Annotation, Patch<Term>>, right: Free<Term.Leaf, Term.Annotation, Patch<Term>>) -> Bool {
public func == <Term: CofreeType where Term.Leaf: Equatable> (left: Free<Term.Leaf, Term.Annotation, Patch<Term>>, right: Free<Term.Leaf, Term.Annotation, Patch<Term>>) -> Bool {
return Free.equals(pure: Patch.equals(Term.equals(==)), leaf: ==)(left, right)
}