[darcs-users] make test_unit compile failures

[Gwern Branwen]

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>:

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> > gwern at localhost: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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://lists.osuosl.org/pipermail/darcs-users/attachments/20080501/ea3f09c3/attachment.pgp