mirror of
https://github.com/github/semantic.git
synced 2024-12-01 00:33:59 +03:00
Replace pures.
This commit is contained in:
parent
4d4d077e1b
commit
6327829f6e
@ -146,6 +146,8 @@ func parserForType(type: String) -> String throws -> Term {
|
|||||||
|
|
||||||
func refineLeafReplacement(diff: Diff, aString: String, bString: String) -> Diff {
|
func refineLeafReplacement(diff: Diff, aString: String, bString: String) -> Diff {
|
||||||
switch diff {
|
switch diff {
|
||||||
|
case let .Pure(.Replace(a, b)):
|
||||||
|
return .Roll((a.extract, b.extract), .Indexed([]))
|
||||||
default:
|
default:
|
||||||
return diff
|
return diff
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user