github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Code Issues Projects Releases Wiki Activity

Revert "Show the Term itself."

Browse Source 
This reverts commit aea84cbec83972add52909b0813ad9362808553f.
This commit is contained in:
Rob Rix 2016-07-12 17:29:47 -04:00
parent ccf78456f2
commit 87e1ce7020
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
test/Diff/Spec.hs
View File

@ -8,7 +8,6 @@ import Diff
import Diff.Arbitrary
import Interpreter
import Prologue
import Term
import Term.Arbitrary
import Test.Hspec
import Test.Hspec.QuickCheck
@ -20,8 +19,8 @@ spec = parallel $ do
\ a b -> let diff = diffTerms wrap (==) diffCost (toTerm a) (toTerm (b :: ArbitraryTerm Text (Record '[Category]))) in
diff `shouldBe` diff
prop "equal terms produce identity diffs" . forAll (toTerm <$> arbitrary) $
\ a -> let term = a :: Term Text (Record '[Category]) in
prop "equal terms produce identity diffs" $
\ a -> let term = toTerm (a :: ArbitraryTerm Text (Record '[Category])) in
diffCost (diffTerms wrap (==) diffCost term term) `shouldBe` 0
describe "beforeTerm" $ do