Skip to content

make test in non-validate configuration fails with a variety of ghci errors

Starting with a fresh checkout of ghc, testing in a non-validate configuration fails in a rather peculiar way. e.g.,

$ ./boot
$ ./configure
$ make 
$ make test

Results in a number of test failures of the ghci way which suggest that GHCi is having trouble identifying types. e.g.,

=====> break026(ghci) 50 of 101 [0, 46, 0]
cd "./ghci.debugger/scripts/break026.run" && HC="/mnt/work/ghc/ghc-testing/inplace/test   spaces/ghc-stage2" HC_OPTS="-dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output " "/mnt/work/ghc/ghc-testing/inplace/test   spaces/ghc-stage2" -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output  --interactive -v0 -ignore-dot-ghci -fno-ghci-history +RTS -I0.1 -RTS  -ignore-dot-ghci< break026.script
Actual stderr output differs from expected:
diff -uw "/dev/null" "./ghci.debugger/scripts/break026.run/break026.run.stderr.normalised"
--- /dev/null	2017-01-24 15:20:36.872346204 -0500
+++ ./ghci.debugger/scripts/break026.run/break026.run.stderr.normalised	2017-02-08 15:52:09.290099692 -0500
@@ -0,0 +1,14 @@
+
+<interactive>:16:1:
+     No instance for (Show t1) arising from a use of ‘print’
+      Cannot resolve unknown runtime type ‘t1’
+      Use :print or :force to determine these types
+      Relevant bindings include it :: t1 (bound at <interactive>:16:1)
+      These potential instances exist:
+        instance Show Ordering -- Defined in ‘GHC.Show’
+        instance Show Integer -- Defined in ‘GHC.Show’
+        instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
+        ...plus 22 others
+        ...plus 11 instances involving out-of-scope types
+        (use -fprint-potential-instances to see them all)
+     In a stmt of an interactive GHCi command: print it
*** unexpected failure for break026(ghci)
=====> break027(ghci) 51 of 101 [0, 47, 0]
cd "./ghci.debugger/scripts/break027.run" && HC="/mnt/work/ghc/ghc-testing/inplace/test   spaces/ghc-stage2" HC_OPTS="-dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output " "/mnt/work/ghc/ghc-testing/inplace/test   spaces/ghc-stage2" -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output  --interactive -v0 -ignore-dot-ghci -fno-ghci-history +RTS -I0.1 -RTS  -ignore-dot-ghci< break027.script
Actual stdout output differs from expected:
diff -uw "./ghci.debugger/scripts/break027.run/break027.stdout.normalised" "./ghci.debugger/scripts/break027.run/break027.run.stdout.normalised"
--- ./ghci.debugger/scripts/break027.run/break027.stdout.normalised	2017-02-08 15:52:10.750125249 -0500
+++ ./ghci.debugger/scripts/break027.run/break027.run.stdout.normalised	2017-02-08 15:52:10.750125249 -0500
@@ -1,8 +1,8 @@
 Breakpoint 0 activated at QSort.hs:4:12-13
 Breakpoint 1 activated at QSort.hs:5:16-51
 Stopped in QSort.qsort, QSort.hs:5:16-51
-_result :: [Integer] = _
-a :: Integer = 3
-left :: [Integer] = _
-right :: [Integer] = _
-a :: Integer 	-- Defined in ‘interactive:Ghci1’
+_result :: [a] = _
+a :: a = _
+left :: [a] = _
+right :: [a] = _
+a :: a 	-- Defined in ‘interactive:Ghci1’
*** unexpected failure for break027(ghci)
=====> print001(ghci) 11 of 101 [0, 7, 0]
cd "./ghci.debugger/scripts/print001.run" && HC="/mnt/work/ghc/ghc-testing/inplace/test   spaces/ghc-stage2" HC_OPTS="-dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output " "/mnt/work/ghc/ghc-testing/inplace/test   spaces/ghc-stage2" -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -dno-debug-output  --interactive -v0 -ignore-dot-ghci -fno-ghci-history +RTS -I0.1 -RTS  -ignore-dot-ghci< print001.script
Actual stdout output differs from expected:
diff -uw "./ghci.debugger/scripts/print001.run/print001.stdout.normalised" "./ghci.debugger/scripts/print001.run/print001.run.stdout.normalised"
--- ./ghci.debugger/scripts/print001.run/print001.stdout.normalised	2017-02-08 15:51:08.413033889 -0500
+++ ./ghci.debugger/scripts/print001.run/print001.run.stdout.normalised	2017-02-08 15:51:08.413033889 -0500
@@ -1,10 +1,9 @@
 li = (_t1::[Maybe Integer])
 Just 0
-li = Just 0 : (_t2::[Maybe Integer])
+li = (_t2::[Maybe Integer])
 6
-li = [Just 0,(_t3::Maybe Integer),(_t4::Maybe Integer),
-      (_t5::Maybe Integer),(_t6::Maybe Integer),(_t7::Maybe Integer)]
-li = [Just 0,_,_,_,_,_]
+li = (_t3::[Maybe Integer])
+li = _
 [Just 0,Just 1,Just 2,Just 3,Just 4,Just 5]
-li = [Just 0,Just 1,Just 2,Just 3,Just 4,Just 5]
-li = [Just 0,Just 1,Just 2,Just 3,Just 4,Just 5]
+li = (_t4::[Maybe Integer])
+li = _
*** unexpected failure for print001(ghci)

It would be nice to know what is going on here.

Trac metadata
Trac field Value
Version 8.0.1
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component GHCi
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information