Failing ASSERT in ghci044 and ghci047

[Simon Peyton Jones]

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