1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00

Use record notation to unwrap ArbitrarySyntax.

This commit is contained in:
Rob Rix 2015-12-11 09:12:49 -05:00
parent 0c23f11d01
commit 6799d5eba1

View File

@ -17,7 +17,7 @@ import Test.QuickCheck
newtype ArbitraryTerm a annotation = ArbitraryTerm (Term a annotation)
deriving (Show, Eq)
newtype ArbitrarySyntax a f = ArbitrarySyntax (Syntax a f)
newtype ArbitrarySyntax a f = ArbitrarySyntax { unSyntax :: Syntax a f }
deriving (Show, Eq)
instance (Arbitrary a, Arbitrary f) => Arbitrary (ArbitrarySyntax a f) where