@@ -74,7 +74,7 @@ data R2 = R2 R1
74 deriving Arbitrary via (GenericArbitrary R2)
74 deriving Arbitrary via (GenericArbitrary R2)
77−This code will compile and the @arbitrary@ generated will always hand. Yes,
77+This code will compile and the @arbitrary@ generated will always hang. Yes,
78there is a problem with mutually recursive types.
78there is a problem with mutually recursive types.
80Now lets see an example of datatype with parameters
80Now lets see an example of datatype with parameters
@@ -90,7 +90,7 @@ instance (Arbitrary a) => Arbitrary (A a) where
90 shrink = genericShrink
90 shrink = genericShrink
93−It should work from first glance, but on compilation it will throw an error:
93+It should work from first glance, but when compile it will throw an error:
96 • Could not deduce (Test.QuickCheck.Arbitrary.Generic.GArbitrary
96 • Could not deduce (Test.QuickCheck.Arbitrary.Generic.GArbitrary
@@ -120,7 +120,7 @@ instance (Arg (A a) a, Arbitrary a) => Arbitrary (A a) where
120 shrink = genericShrink
120 shrink = genericShrink
123−Now everything compiles.
123+Now everything compiles and works as expected.