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

Unicode NBSP characters ruffle tree-sitter's leaves

This commit is contained in:
Rick Winfrey 2018-06-20 14:31:27 -07:00
parent 6a41892054
commit 7e9847489c

View File

@ -8,7 +8,7 @@ import Data.Term
import Prologue
-- | A single step in a diffing algorithm, parameterized by the types of terms, diffs, and the result of the applicable algorithm.
data AlgorithmF term1 term2 result partial where
data AlgorithmF term1 term2 result partial where
-- | Diff two terms with the choice of algorithm left to the interpreters discretion.
Diff :: term1 -> term2 -> AlgorithmF term1 term2 result result
-- | Diff two terms recursively in O(n) time, resulting in a single diff node.