github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-01 19:55:34 +03:00
Code Issues Projects Releases Wiki Activity

Parameterize by leaf hashing.

Browse Source
This commit is contained in:
Rob Rix 2015-10-02 14:33:41 -04:00
parent 3d40071b44
commit f14433871b
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
prototype/Doubt/Syntax.swift
View File

@ -95,15 +95,15 @@ public func == <F: Equatable, A: Equatable> (left: Syntax<F, A>, right: Syntax<F
extension Term where A: Hashable {
public var hash: Hash {
return syntax.hash { $0.hash }
return syntax.hash(ifLeaf: Hash.init, ifRecur: { $0.hash })
}
}
extension Syntax where A: Hashable {
public func hash(ifRecur ifRecur: Recur -> Hash) -> Hash {
extension Syntax {
public func hash(ifLeaf ifLeaf: A -> Hash, ifRecur: Recur -> Hash) -> Hash {
switch self {
case let .Leaf(n):
return Hash("Leaf", Hash(n))
return Hash("Leaf", ifLeaf(n))
case let .Branch(x):
return Hash("Branch", ifRecur(x))
}
@ -112,6 +112,6 @@ extension Syntax where A: Hashable {
extension Syntax where Recur: Hashable, A: Hashable {
public var hash: Hash {
return hash(ifRecur: Hash.init)
return hash(ifLeaf: Hash.init, ifRecur: Hash.init)
}
}