[GHC] #13243: make test in non-validate configuration fails with a variety of ghci errors
GHC
ghc-devs at haskell.org
Wed Feb 8 21:08:11 UTC 2017
#13243: make test in non-validate configuration fails with a variety of ghci errors
-------------------------------------+-------------------------------------
Reporter: bgamari | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 8.4.1
Component: GHCi | Version: 8.0.1
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: Other
Unknown/Multiple |
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
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.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13243>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list