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.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.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
