From cesar.snczruiz at gmail.com Tue Oct 18 21:53:54 2016 From: cesar.snczruiz at gmail.com (=?UTF-8?B?Q8Opc2FyIFPDoW5jaGV6?=) Date: Tue, 18 Oct 2016 15:53:54 -0500 Subject: [QuickCheck] QuickCheck Message-ID: Hi, I want to implement QuickCheck in the enterprise I am currently working, is there any video tutorial about installation? Best Regards, C?sar S?nchez -------------- next part -------------- An HTML attachment was scrubbed... URL: From nicsma at chalmers.se Wed Oct 19 18:42:17 2016 From: nicsma at chalmers.se (Nick Smallbone) Date: Wed, 19 Oct 2016 19:42:17 +0200 Subject: [QuickCheck] QuickCheck 2.9.1 (Haskell 8.0.1) In-Reply-To: <28B2D49E-9E81-4303-9F18-C563B4A8D7CB@hsr.ch> References: <28B2D49E-9E81-4303-9F18-C563B4A8D7CB@hsr.ch> Message-ID: <20161019174217.ral66xtr5upew53w@laptop.localdomain> Hi! Sorry for the lack of reply, it seems the QuickCheck mailing list has been down so your message didn't get through until now. I'm afraid I don't have any good idea what has gone wrong. It looks like one of those situations where cabal and GHC have got very confused about what's installed on the system. You could try ghc-pkg check to find any broken packages, I suppose (and then use ghc-pkg unregister to get rid of them). Otherwise, all I can suggest is nuking your .cabal directory and trying again. Nick On Sunday 04 September, 2016 at 02:11 pm, Joller Josef wrote: > I tried to install QuckCheck > 1) from web > 2) after downloading archive, unzipping locally > > in both cases I got the same error message (system: MacBookAir, OS X 10.11.6 El Capitan, GHC 8.0.1) > > Josefs-MacBook-Air:QuickCheck-2.9.1 jjoller$ cabal -v install > /usr/bin/gcc -dumpversion > looking for tool haddock near compiler in /usr/local/bin > found haddock in /usr/local/bin/haddock > /usr/local/bin/haddock --version > /usr/local/bin/hpc version > looking for tool hsc2hs near compiler in /usr/local/bin > found hsc2hs in /usr/local/bin/hsc2hs > /usr/local/bin/hsc2hs --version > /usr/local/bin/ghc -c /var/folders/08/ljp9grbn73z1s_v_t320t_c80000gn/T/16807282475249.c -o /var/folders/08/ljp9grbn73z1s_v_t320t_c80000gn/T/1622650073984943658.o > /usr/bin/ld -x -r /var/folders/08/ljp9grbn73z1s_v_t320t_c80000gn/T/1622650073984943658.o -o /var/folders/08/ljp9grbn73z1s_v_t320t_c80000gn/T/1144108930470211272.o > /opt/local/bin/pkg-config --version > Warning: cannot determine version of /usr/bin/strip : > "" > /usr/bin/tar --help > Reading available packages... > /opt/local/bin/pkg-config --list-all > /opt/local/bin/pkg-config --modversion xinerama xrender xcb-shm xineramaproto xcb-xv xcb-damage 'ncurses++' openssl renderproto formw xcb-dri2 xcb-dri3 pthread-stubs form xcb-xtest xt libedit menu xdmcp xorg-macros xtrans libpng xcb-xvmc xcb-present panelw xcb-randr xcb-glx libssl kbproto xcb-composite zlib xcb-sync freetype2 libarchive ice xext liblzma xcb-proto ncurses xcb-dpms sqlite3 expat x11-xcb xpm xcb-xf86dri xcb-shape xcb-xkb libcrypto x11 xau panel xcb-screensaver xcb-xevie xcb-xinerama uuid libxml-2.0 xcb-res sm fontconfig ncursesw swipl xcb-xfixes xcb-xprint menuw xproto libpng16 xcb-record xft xextproto 'ncurses++w' xcb-render xcb > Choosing modular solver. > Resolving dependencies... > Ready to install QuickCheck-2.9.1 > Waiting for install task to finish... > Configuring QuickCheck-2.9.1... > /Library/Haskell/ghc-8.0.1-x86_64/bin/cabal act-as-setup --build-type=Simple > -- configure --verbose=2 --builddir=dist --ghc > --prefix=/Users/jjoller/Library/Haskell > --bindir=/Users/jjoller/Library/Haskell/bin > --libdir=/Users/jjoller/Library/Haskell/ghc-8.0.1-x86_64/lib > --libsubdir=QuickCheck-2.9.1 > --libexecdir=/Users/jjoller/Library/Haskell/libexec > --datadir=/Users/jjoller/Library/Haskell/share > --datasubdir=ghc-8.0.1-x86_64/QuickCheck-2.9.1 > --docdir=/Users/jjoller/Library/Haskell/ghc-8.0.1-x86_64/lib/QuickCheck-2.9.1/doc > --htmldir=/Users/jjoller/Library/Haskell/ghc-8.0.1-x86_64/lib/QuickCheck-2.9.1/doc/html > --haddockdir=/Users/jjoller/Library/Haskell/ghc-8.0.1-x86_64/lib/QuickCheck-2.9.1/doc/html > --sysconfdir=/Users/jjoller/Library/Haskell/etc --enable-library-profiling > --user --flags=templatehaskell > --extra-prog-path=/Users/jjoller/Library/Haskell/bin > --dependency=base=base-4.9.0.0 --dependency=containers=containers-0.5.7.1 > --dependency=random=random-1.1-54KmMHXjttlERYcr1mvsAe > --dependency=template-haskell=template-haskell-2.11.0.0 > --dependency=tf-random=tf-random-0.5-4z8OJUaXC1FRNfrLPFWAD > --dependency=transformers=transformers-0.5.2.0 --disable-tests > --exact-configuration --disable-benchmarks > Redirecting build log to {handle: > /Users/jjoller/.cabal/logs/QuickCheck-2.9.1.log} > Building QuickCheck-2.9.1... > /Library/Haskell/ghc-8.0.1-x86_64/bin/cabal act-as-setup --build-type=Simple > -- build --verbose=2 --builddir=dist > Redirecting build log to {handle: > /Users/jjoller/.cabal/logs/QuickCheck-2.9.1.log} > Failed to install QuickCheck-2.9.1 > Build log ( /Users/jjoller/.cabal/logs/QuickCheck-2.9.1.log ): > cabal: Entering directory '.' > Configuring QuickCheck-2.9.1... > Flags chosen: templatehaskell=True > Dependency base ==4.9.0.0: using base-4.9.0.0 > Dependency containers ==0.5.7.1: using containers-0.5.7.1 > Dependency random ==1.1: using random-1.1 > Dependency template-haskell ==2.11.0.0: using template-haskell-2.11.0.0 > Dependency tf-random ==0.5: using tf-random-0.5 > Dependency transformers ==0.5.2.0: using transformers-0.5.2.0 > Using Cabal-1.24.0.0 compiled by ghc-7.10 > Using compiler: ghc-8.0.1 > Using install prefix: /Users/jjoller/Library/Haskell > Binaries installed in: /Users/jjoller/Library/Haskell/bin > Libraries installed in: > /Users/jjoller/Library/Haskell/ghc-8.0.1-x86_64/lib/QuickCheck-2.9.1 > Private binaries installed in: /Users/jjoller/Library/Haskell/libexec > Data files installed in: > /Users/jjoller/Library/Haskell/share/ghc-8.0.1-x86_64/QuickCheck-2.9.1 > Documentation installed in: > /Users/jjoller/Library/Haskell/ghc-8.0.1-x86_64/lib/QuickCheck-2.9.1/doc > Configuration files installed in: /Users/jjoller/Library/Haskell/etc > No alex found > Using ar found on system at: /usr/bin/ar > No c2hs found > No cpphs found > Using gcc version 4.2.1 found on system at: /usr/bin/gcc > Using ghc version 8.0.1 found on system at: /usr/local/bin/ghc > Using ghc-pkg version 8.0.1 found on system at: /usr/local/bin/ghc-pkg > No ghcjs found > No ghcjs-pkg found > No greencard found > Using haddock version 2.17.2 found on system at: /usr/local/bin/haddock > No happy found > Using haskell-suite found on system at: haskell-suite-dummy-location > Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location > No hmake found > Using hpc version 0.67 found on system at: /usr/local/bin/hpc > Using hsc2hs version 0.68 found on system at: /usr/local/bin/hsc2hs > No hscolour found > No jhc found > Using ld found on system at: /usr/bin/ld > No lhc found > No lhc-pkg found > Using pkg-config version 0.29.1 found on system at: /opt/local/bin/pkg-config > Using strip found on system at: /usr/bin/strip > Using tar found on system at: /usr/bin/tar > No uhc found > Component build order: library > creating dist/build > creating dist/build/autogen > Building QuickCheck-2.9.1... > /usr/local/bin/ghc-pkg init dist/package.conf.inplace > Preprocessing library QuickCheck-2.9.1... > Building library... > creating dist/build > /usr/local/bin/ghc --make -fbuilding-cabal-package -O -static -dynamic-too -dynosuf dyn_o -dynhisuf dyn_hi -outputdir dist/build -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -i. -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -this-unit-id QuickCheck-2.9.1-ADKJfTsJVEWJp7VC229wVi -hide-all-packages -package-db dist/package.conf.inplace -package-id base-4.9.0.0 -package-id containers-0.5.7.1 -package-id random-1.1-54KmMHXjttlERYcr1mvsAe -package-id template-haskell-2.11.0.0 -package-id tf-random-0.5-4z8OJUaXC1FRNfrLPFWAD -package-id transformers-0.5.2.0 -XHaskell98 Test.QuickCheck Test.QuickCheck.Arbitrary Test.QuickCheck.Gen Test.QuickCheck.Gen.Unsafe Test.QuickCheck.Monadic Test.QuickCheck.Modifiers Test.QuickCheck.Property Test.QuickCheck.Test Test.QuickCheck.Text Test.QuickCheck.Poly Test.QuickCheck.State Test.QuickCheck.Random Test.QuickCheck.Exception Test.QuickCheck.Function Test.QuickCheck.All > : cannot satisfy -package-id random-1.1-54KmMHXjttlERYcr1mvsAe > (use -v for more information) > cabal: Leaving directory '.' > cabal: Error: some packages failed to install: > QuickCheck-2.9.1 failed during the building phase. The exception was: > ExitFailure 1 > > > > > Josefs-MacBook-Air:QuickCheck-2.9.1 jjoller$ cabal install random-1.1 > Resolving dependencies... > All the requested packages are already installed: > random-1.1 > Use --reinstall if you want to reinstall anyway. > > > any idea? any feedback would be appreciated. > Best regards > > Josef > > Josef Joller > University of Applied Sciences / HSR > Rapperswil / Switzerland