<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>I've just installed GHC 8.0.1, and it seems that my QuickCheck is now broken. I'm presuming that these two facts are connected.</div><div><br></div><div>I have a trivially small QuickCheck example:</div><div><br></div><div><div>> import Test.QuickCheck</div><div>> prop_PlusAssociative :: Integer -> Integer -> Integer -> Bool</div><div>> prop_PlusAssociative x y z = (x+y)+z == x+(y+z)</div></div><div><br></div><div>This loads fine, but when I try to test the property I get a mysterious error:</div><div><br></div><div><div>jg$ ghci quickcheck.lhs</div><div>GHCi, version 7.10.2: <a href="http://www.haskell.org/ghc/">http://www.haskell.org/ghc/</a> :? for help</div><div>[1 of 1] Compiling Main ( quickcheck.lhs, interpreted )</div><div>Ok, modules loaded: Main.</div></div><div>*Main> quickCheck prop_PlusAssociative </div><div><div>can't load .so/.DLL for: /Library/Haskell/ghc-7.10.2-x86_64/lib/tf-random-0.5/libHStf-random-0.5-926BwEbiHzi7pBkp4dTxOe-ghc7.10.2.dylib (dlopen(/Library/Haskell/ghc-7.10.2-x86_64/lib/tf-random-0.5/libHStf-random-0.5-926BwEbiHzi7pBkp4dTxOe-ghc7.10.2.dylib, 5): Library not loaded: @rpath/libHSrandom-1.1-1z8Ujelqc6aKgvPnbRUKkP-ghc7.10.2.dylib</div><div> Referenced from: /Library/Haskell/ghc-7.10.2-x86_64/lib/tf-random-0.5/libHStf-random-0.5-926BwEbiHzi7pBkp4dTxOe-ghc7.10.2.dylib</div><div> Reason: image not found)</div></div><div><br></div><div>I don't think it's anything to do with QuickCheck itself; I get the same error just trying to use the System.Random.TF library directly:</div><div><br></div><div><div>jg$ ghci</div></div><div>GHCi, version 7.10.2: <a href="http://www.haskell.org/ghc/">http://www.haskell.org/ghc/</a> :? for help</div><div><div>Prelude> import System.Random.TF.Gen</div><div>Prelude System.Random.TF.Gen> seedTFGen (1,1,1,1)</div><div>can't load .so/.DLL for: /Library/Haskell/ghc-7.10.2-x86_64/lib/tf-random-0.5/libHStf-random-0.5-926BwEbiHzi7pBkp4dTxOe-ghc7.10.2.dylib (dlopen(/Library/Haskell/ghc-7.10.2-x86_64/lib/tf-random-0.5/libHStf-random-0.5-926BwEbiHzi7pBkp4dTxOe-ghc7.10.2.dylib, 5): Library not loaded: @rpath/libHSrandom-1.1-1z8Ujelqc6aKgvPnbRUKkP-ghc7.10.2.dylib</div><div> Referenced from: /Library/Haskell/ghc-7.10.2-x86_64/lib/tf-random-0.5/libHStf-random-0.5-926BwEbiHzi7pBkp4dTxOe-ghc7.10.2.dylib</div><div> Reason: image not found)</div></div><div><br></div><div>The "7.10.2" is because I deactivated 8.0.1, then installed 7.10.3, then uninstalled both, then uninstalled all GHCs and deleted /Library/Haskell and reinstalled GHC 7.10.2 (my last working version) from what I hoped would be a clean slate. All to no avail. However, I do appear still to have a ghc-7.4.2, overlooked by uninstall-hs; and that does work fine - apparently not using the same System.Random.TF library.</div><div><br></div><div>Can anyone suggest what I'm doing wrong, and more importantly, how to fix it?</div><div><br></div><div>Jeremy</div><br><div>
<div style="font-family: Helvetica; "><span class="Apple-style-span" style="font-family: 'Lucida Grande'; "><a href="mailto:Jeremy.Gibbons@cs.ox.ac.uk">Jeremy.Gibbons@cs.ox.ac.uk</a></span><span class="Apple-style-span" style="font-family: 'Lucida Grande'; "><br></span><span class="Apple-style-span" style="font-family: 'Lucida Grande'; ">Oxford University Department of Computer Science,</span><span class="Apple-style-span" style="font-family: 'Lucida Grande'; "><br></span><span class="Apple-style-span" style="font-family: 'Lucida Grande'; ">Wolfson Building, Parks Road, Oxford OX1 3QD, UK.</span><div style="font-family: 'Lucida Grande'; ">+44 1865 283521</div><div style="font-family: 'Lucida Grande'; "><a href="http://www.cs.ox.ac.uk/people/jeremy.gibbons/">http://www.cs.ox.ac.uk/people/jeremy.gibbons/</a></div></div><div style="font-family: Helvetica; "><br></div><br class="Apple-interchange-newline">
</div>
<br></body></html>