mirror of
https://github.com/github/semantic.git
synced 2025-01-01 11:46:14 +03:00
Rename the interpreter spec.
This commit is contained in:
parent
a23d60dc09
commit
46e2b5fb15
@ -16,7 +16,7 @@ import Test.Hspec.LeanCheck
|
|||||||
|
|
||||||
spec :: Spec
|
spec :: Spec
|
||||||
spec = parallel $ do
|
spec = parallel $ do
|
||||||
describe "interpret" $ do
|
describe "diffTerms" $ do
|
||||||
it "returns a replacement when comparing two unicode equivalent terms" $
|
it "returns a replacement when comparing two unicode equivalent terms" $
|
||||||
let termA = termIn Nil (inj (Syntax.Identifier "t\776"))
|
let termA = termIn Nil (inj (Syntax.Identifier "t\776"))
|
||||||
termB = termIn Nil (inj (Syntax.Identifier "\7831")) in
|
termB = termIn Nil (inj (Syntax.Identifier "\7831")) in
|
||||||
|
Loading…
Reference in New Issue
Block a user