From 7e9847489c2cb62d8fcacb571bd0c2f9bedbf5c2 Mon Sep 17 00:00:00 2001 From: Rick Winfrey Date: Wed, 20 Jun 2018 14:31:27 -0700 Subject: [PATCH] Unicode NBSP characters ruffle tree-sitter's leaves --- src/Diffing/Algorithm.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Diffing/Algorithm.hs b/src/Diffing/Algorithm.hs index be17fd252..db0af7633 100644 --- a/src/Diffing/Algorithm.hs +++ b/src/Diffing/Algorithm.hs @@ -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 interpreter’s discretion. Diff :: term1 -> term2 -> AlgorithmF term1 term2 result result -- | Diff two terms recursively in O(n) time, resulting in a single diff node.