Re: [Haskell-cafe] Quick Question for QuickCheck2

2010-08-31 Thread Lyndon Maydwell
ghc-pkg check doesn't list any broken dependencies. On Tue, Aug 31, 2010 at 9:27 AM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: On 31 August 2010 03:18, Lyndon Maydwell maydw...@gmail.com wrote: Thanks! This makes perfect sense, but as I just discovered using ghci -v there is an

Re: [Haskell-cafe] Quick Question for QuickCheck2

2010-08-31 Thread Ivan Lazar Miljenovic
On 31 August 2010 20:38, Lyndon Maydwell maydw...@gmail.com wrote: ghc-pkg check doesn't list any broken dependencies. You sure this is with the same user? ghci is unlikely to complain about broken libraries if ghc-pkg check doesn't... -- Ivan Lazar Miljenovic ivan.miljeno...@gmail.com

Re: [Haskell-cafe] Quick Question for QuickCheck2

2010-08-31 Thread Lyndon Maydwell
Yep. Definitely the same user. On Tue, Aug 31, 2010 at 7:35 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: On 31 August 2010 20:38, Lyndon Maydwell maydw...@gmail.com wrote: ghc-pkg check doesn't list any broken dependencies. You sure this is with the same user?  ghci is unlikely

Re: [Haskell-cafe] Quick Question for QuickCheck2

2010-08-31 Thread Sebastian Höhn
Do you have ~/.cabal/bin/ in your PATH? - Sebastian Am 31.08.2010 um 15:57 schrieb Lyndon Maydwell: Yep. Definitely the same user. On Tue, Aug 31, 2010 at 7:35 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: On 31 August 2010 20:38, Lyndon Maydwell maydw...@gmail.com wrote:

Re: [Haskell-cafe] Quick Question for QuickCheck2

2010-08-31 Thread Lyndon Maydwell
Yep :) Is there a batch of information that might be useful? I can send any relevant files, aliases, versions, etc at once to help if you like. On Wed, Sep 1, 2010 at 12:35 AM, Sebastian Höhn sebastian.ho...@iig.uni-freiburg.de wrote: Do you have ~/.cabal/bin/ in your PATH? - Sebastian Am

Re: [Haskell-cafe] Quick Question for QuickCheck2

2010-08-31 Thread Ivan Lazar Miljenovic
Do you have ~/.cabal/bin or $HOME/.cabal/bin ? The latter is preferable as some issues arise with the former... On 1 September 2010 03:29, Lyndon Maydwell maydw...@gmail.com wrote: Yep :) Is there a batch of information that might be useful? I can send any relevant files, aliases, versions,

Re: [Haskell-cafe] Quick Question for QuickCheck2

2010-08-31 Thread Lyndon Maydwell
$HOME/.cabal/bin On Wed, Sep 1, 2010 at 10:55 AM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Do you have ~/.cabal/bin or $HOME/.cabal/bin ?  The latter is preferable as some issues arise with the former... On 1 September 2010 03:29, Lyndon Maydwell maydw...@gmail.com wrote: Yep

[Haskell-cafe] Quick Question for QuickCheck2

2010-08-30 Thread Sebastian Höhn
Hello, perhaps I am just blind or is it a difficult issue: I would like to generate Char values in a given Range for QuickCheck2. There is this simple example from the haskell book: instance Arbitrary Char where arbitrary = elements (['A'..'Z'] ++ ['a' .. 'z'] ++ ~...@#$%^*()) This does not

Re: [Haskell-cafe] Quick Question for QuickCheck2

2010-08-30 Thread austin seipp
You can create a wrapper with a newtype and then define an instance for that. newtype Char2 = Char2 Char instance Arbitrary Char2 where arbitrary = ... You'll have to do some wrapping and unwrapping when calling your properties to get/set the underlying Char, but this is probably the easiest

Re: [Haskell-cafe] Quick Question for QuickCheck2

2010-08-30 Thread John Millikin
Define a custom element generator, which has characters with your desired values: myRange :: Gen Char myRange = elements (['A'..'Z'] ++ ['a' .. 'z'] ++ ~...@#$%^*()) You can use forAll to run tests with a specific generator: forAll myRange $ \c - chr (ord c) == c On Mon, Aug 30, 2010 at

Re: [Haskell-cafe] Quick Question for QuickCheck2

2010-08-30 Thread Lyndon Maydwell
I'm just trying these examples, and I can't figure out how to import quickcheck2 rather than quickcheck1. I've looked around but I can't seem to find any information on this. How do I do it? Thanks! On Mon, Aug 30, 2010 at 11:56 PM, John Millikin jmilli...@gmail.com wrote: Define a custom

Re: [Haskell-cafe] Quick Question for QuickCheck2

2010-08-30 Thread John Millikin
Update your cabal package list, and then install QuickCheck. Optionally, you can use a version specifier: cabal update cabal install 'QuickCheck = 2' This should make QuickCheck 2 the default in GHCI. If it doesn't, you may need to specify the version: ghci -package QuickCheck-2.2

Re: [Haskell-cafe] Quick Question for QuickCheck2

2010-08-30 Thread Lyndon Maydwell
Thanks! This makes perfect sense, but as I just discovered using ghci -v there is an even stranger problem. I'm side-tracking slightly from the original question here, but nevertheless... GHC gives the following output: --- GHCi, version 6.12.3: http://www.haskell.org/ghc/ :? for help command

Re: [Haskell-cafe] Quick Question for QuickCheck2

2010-08-30 Thread Ivan Lazar Miljenovic
On 31 August 2010 03:18, Lyndon Maydwell maydw...@gmail.com wrote: Thanks! This makes perfect sense, but as I just discovered using ghci -v there is an even stranger problem. I'm side-tracking slightly from the original question here, but nevertheless... GHC gives the following output: