github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
Code Issues Projects Releases Wiki Activity

Test _Term_ equality, not ArbitraryTerm equality.

Browse Source
This commit is contained in:
Rob Rix 2015-12-11 15:51:25 -05:00
parent 97ff45bd28
commit f667109c28
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/Spec.hs
View File

@ -59,7 +59,7 @@ main :: IO ()
main = hspec $ do
describe "Term" $ do
prop "equality is reflexive" $
\ a -> a == (a :: ArbitraryTerm String ())
\ a -> unTerm a == unTerm (a :: ArbitraryTerm String ())
describe "annotatedToRows" $ do
it "outputs one row for single-line unchanged leaves" $