mirror of
https://github.com/github/semantic.git
synced 2024-11-24 08:54:07 +03:00
Remove ArbitrarySyntax.
This commit is contained in:
parent
40eafd315d
commit
7dd4631053
@ -22,9 +22,6 @@ unTerm :: ArbitraryTerm a annotation -> Term a annotation
|
||||
unTerm arbitraryTerm = unfold unpack arbitraryTerm
|
||||
where unpack (ArbitraryTerm (annotation, syntax)) = (annotation, syntax)
|
||||
|
||||
newtype ArbitrarySyntax a f = ArbitrarySyntax { unSyntax :: Syntax a f }
|
||||
deriving (Show, Eq)
|
||||
|
||||
instance (Arbitrary a, Arbitrary annotation) => Arbitrary (ArbitraryTerm a annotation) where
|
||||
arbitrary = arbitraryBounded 4
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user