mirror of
https://github.com/github/semantic.git
synced 2024-12-24 23:42:31 +03:00
ArbitraryTerm is an instance of Arbitrary.
This commit is contained in:
parent
54166e7662
commit
9589264745
@ -14,6 +14,9 @@ import Test.QuickCheck
|
||||
|
||||
newtype ArbitraryTerm = ArbitraryTerm (Term String Info)
|
||||
|
||||
instance Arbitrary ArbitraryTerm where
|
||||
arbitrary = elements [ ArbitraryTerm $ (Info (Range 0 0) (Range 0 0) (Set.singleton "leaf")) :< Leaf "" ]
|
||||
|
||||
main :: IO ()
|
||||
main = hspec $ do
|
||||
describe "annotatedToRows" $ do
|
||||
|
Loading…
Reference in New Issue
Block a user