Hi, Many tests for validate on master fail on Mavericks. This is because clang produces some warnings. Here is an example: =====> AssocTyDef03(normal) 3519 of 3960 [0, 1649, 0] cd ./typecheck/should_fail && '/Users/kazu/work/ghc/bindisttest/install dir/bin/ghc ' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopt s -fno-ghci-history -c AssocTyDef03.hs >AssocTyDef03.comp.stderr 2>&1 --- ./typecheck/should_fail/tcfail218.stderr 2014-04-23 09:26:45.000000000 +0900 +++ ./typecheck/should_fail/tcfail218.comp.stderr 2014-05-01 11:28:31.000000000 +0900 @@ -1,3 +1,6 @@ +clang: warning: argument unused during compilation: '-fno-stack-protector' +clang: warning: argument unused during compilation: '-D TABLES_NEXT_TO_CODE' +clang: warning: argument unused during compilation: '-I .' tcfail218.hs:10:5: Overlapping instances for C [a] b arising from a use of ‘foo’ Any ideas to fix this? --Kazu