Thanks. These are tests that over-ride one instance declaration with another, something that really wasn't working before. I have no idea what is going on in Linker.hs It's the weekend so I'm not going to have a chance to look at this for a bit -- and oddly it seems to work anyway. But asserts should not fail. If someone had time to make it an ASSERT2 and print out the relevant entrails (toplev_only, nms, and the context of ce_in (not the HValue component, obviously)), that would be helpful. Simon | -----Original Message----- | From: Edward Z.Yang [mailto:ezyang@cs.stanford.edu] | Sent: 01 August 2014 18:41 | To: ghc-devs | Cc: Simon Peyton Jones | Subject: Failing ASSERT in ghci044 and ghci047 | | CC'd Simon because you were touching these test-cases recently. | | You'll need to run with -DDEBUG, which is probably why validate didn't | catch these. Maybe the ASSERT is out of date? | | =====> ghci044(ghci) 1719 of 4065 [0, 0, 0] | [72/1822] | cd ./ghci/scripts && HC='/home/hs01/ezyang/ghc-validate/inplace/bin/ghc- | stage2' HC_OPTS='-dcore-lint - | dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci- | history ' '/home/hs01/ezyang/ghc-va | lidate/inplace/bin/ghc-stage2' --interactive -v0 -ignore-dot-ghci -dcore- | lint -dcmm-lint -dno-debug-ou | tput -no-user-package-db -rtsopts -fno-ghci-history <ghci044.script | >ghci044.run.stdout 2>ghci044. | run.stderr | Actual stderr output differs from expected: | --- ./ghci/scripts/ghci044.stderr 2014-07-31 11:00:16.433141666 - | 0700 | +++ ./ghci/scripts/ghci044.run.stderr 2014-08-01 10:38:17.352234466 - | 0700 | @@ -6,3 +6,12 @@ | instance C a => C [a] -- Defined at <interactive>:8:10 | In the expression: f [4 :: Int] | In an equation for ‘it’: it = f [4 :: Int] | +*** Exception: ASSERT failed! file compiler/ghci/Linker.lhs, line 907 | +*** Exception: ASSERT failed! file compiler/ghci/Linker.lhs, line 907 | +*** Exception: ASSERT failed! file compiler/ghci/Linker.lhs, line 907 | +*** Exception: ASSERT failed! file compiler/ghci/Linker.lhs, line 907 | + | +<interactive>:15:1: | + No instance for (C Bool) arising from a use of ‘f’ | + In the expression: f [True] | + In an equation for ‘it’: it = f [True] | Actual stdout output differs from expected: | | =====> ghci047(ghci) 1723 of 4065 [0, 1, 0] | cd ./ghci/scripts && HC='/home/hs01/ezyang/ghc-validate/inplace/bin/ghc- | stage2' HC_OPTS='-dcore-lint - | dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci- | history ' '/home/hs01/ezyang/ghc-va | lidate/inplace/bin/ghc-stage2' --interactive -v0 -ignore-dot-ghci -dcore- | lint -dcmm-lint -dno-debug-ou | tput -no-user-package-db -rtsopts -fno-ghci-history <ghci047.script | >ghci047.run.stdout 2>ghci047. | run.stderr | Actual stderr output | Actual stderr output differs from expected: | --- ./ghci/scripts/ghci047.stderr 2014-05-28 15:38:19.608946057 - | 0700 | +++ ./ghci/scripts/ghci047.run.stderr 2014-08-01 10:38:17.658906746 - | 0700 | @@ -1,16 +1,14 @@ | +*** Exception: ASSERT failed! file compiler/ghci/Linker.lhs, line 907 | +*** Exception: ASSERT failed! file compiler/ghci/Linker.lhs, line 907 | | | Cheers, | Edward