Hiya everyone: so I was interested in seeing the full range of tests for Darcs, and I wanted to try out make test_network (something buggy there AFAIK) and make test_unit.
make test_unit initially failed with a CPP error. No problem:
hunk ./src/unit.lhs 44
-{-# OPTIONS_GHC -fno-warn-deprecations -fglasgow-exts #-}
+{-# OPTIONS_GHC -fno-warn-deprecations -fglasgow-exts -cpp #-}
Then it failed with link errors. Oops. make clean && make test_unit. Oops.
Right, it needs QuickCheck 2.0 no? So I download from
<http://code.haskell.org/QuickCheck> and install. Now I don't get link errors,
but I do get type errors <http://hpaste.org/7292>:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> > >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> > > [EMAIL PROTECTED]:3024~/darcs/darcs.net>make test_unit > > [ 1:12AM] >
> rm -f Main.hi Main.o >
> [ghc] unit >
> >
> src/unit.lhs:116:6: >
> No instance for (Arbitrary Prim) >
> arising from a use of `check_subcommutes' at src/unit.lhs:116:6-76 >
> Possible fix: add an instance declaration for (Arbitrary Prim) >
> In the expression: >
> check_subcommutes >
> subcommutes_inverse "patch and inverse both commutex" >
> In a 'do' expression: >
> check_subcommutes >
> subcommutes_inverse "patch and inverse both commutex" >
> In the expression: >
> do putStr >
> ("There are a total of " >
> ++ (show (length primitive_test_patches)) >
> ++ >
> " primitive patches.\n") >
> putStr >
> ("There are a total of " >
> ++ (show (length test_patches)) ++ " patches.\n") >
> putStr "Checking that concatPS works... " >
> quickCheck prop_concatPS >
> .... >
> >
> src/unit.lhs:151:6: >
> No instances for (Testable >
> (QuickCheck-2.0:Test.QuickCheck.Gen.Gen >
> QuickCheck-2.0:Test.QuickCheck.Property.Prop), >
> Arbitrary Patch) >
> arising from a use of `quickCheck' at src/unit.lhs:151:6-41 >
> Possible fix: >
> add an instance declaration for >
> (Testable >
> (QuickCheck-2.0:Test.QuickCheck.Gen.Gen >
> QuickCheck-2.0:Test.QuickCheck.Property.Prop), >
> Arbitrary Patch) >
> In the expression: quickCheck prop_commute_either_order >
> In a 'do' expression: quickCheck prop_commute_either_order >
> In the expression: >
> do putStr >
> ("There are a total of " >
> ++ (show (length primitive_test_patches)) >
> ++ >
> " primitive patches.\n") >
> putStr >
> ("There are a total of " >
> ++ (show (length test_patches)) ++ " patches.\n") >
> putStr "Checking that concatPS works... " >
> quickCheck prop_concatPS >
> .... >
> make: *** [unit] Error 1 >
> >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
I'm not familiar with QuickCheck very much beyond the basics, but I tried
greping for a Testable instance and didn't see anything. Any ideas?
--
gwern
package Yakima Tzvrif Knife Tony Weekly Bob HRT TOS DJC
pgppPsQVtbQIu.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
