1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00
semantic/test/InterpreterSpec.hs
2016-06-03 02:59:48 -04:00

23 lines
698 B
Haskell

module InterpreterSpec where
import Prologue
import Diff
import qualified Interpreter as I
import Range
import Syntax
import Patch
import Info
import Category
import Test.Hspec
spec :: Spec
spec = parallel $
describe "interpret" $
it "returns a replacement when comparing two unicode equivalent terms" $
I.diffTerms (free . Free) ((==) `on` extract) diffCost (cofree (Info range StringLiteral 0 0 :< Leaf "t\776")) (cofree (Info range2 StringLiteral 0 0 :< Leaf "\7831")) `shouldBe`
free (Pure (Replace (cofree (Info range StringLiteral 0 0 :< Leaf "t\776")) (cofree (Info range2 StringLiteral 0 0 :< Leaf "\7831"))))
where
range = Range 0 2
range2 = Range 0 1