[commit: testsuite] master: Fix output for T8262 (4f4cf71)

git at git.haskell.org git at git.haskell.org
Wed Sep 11 11:00:35 CEST 2013


Repository : ssh://git@git.haskell.org/testsuite

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/4f4cf7150bc4487521e3335331076893439da196/testsuite

>---------------------------------------------------------------

commit 4f4cf7150bc4487521e3335331076893439da196
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Sep 11 10:00:23 2013 +0100

    Fix output for T8262


>---------------------------------------------------------------

4f4cf7150bc4487521e3335331076893439da196
 tests/typecheck/should_fail/T8262.stderr |   20 +++++++++-----------
 1 file changed, 9 insertions(+), 11 deletions(-)

diff --git a/tests/typecheck/should_fail/T8262.stderr b/tests/typecheck/should_fail/T8262.stderr
index d2664a3..db908de 100644
--- a/tests/typecheck/should_fail/T8262.stderr
+++ b/tests/typecheck/should_fail/T8262.stderr
@@ -1,12 +1,10 @@
-ghc-stage1: panic! (the 'impossible' happened)
-  (GHC version 7.7.20130829 for x86_64-unknown-linux):
-	ASSERT failed!
-    file compiler/coreSyn/MkCore.lhs line 303
-    Sym cobox{v dfK} [lid]
-    ghc-prim:GHC.Prim.Int#{(w) tc 3G}
-    a{tv afq} [tv]
-    ghc-prim:GHC.Prim.#{(w) tc 34j}
-    ghc-prim:GHC.Prim.*{(w) tc 34d}
-
-Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
 
+T8262.hs:5:15:
+    Kind incompatibility when matching types:
+      a :: *
+      GHC.Prim.Int# :: #
+    Relevant bindings include
+      foo :: t -> Maybe a (bound at T8262.hs:5:1)
+    In the first argument of ‛Just’, namely ‛(1#)’
+    In the expression: Just (1#)
+    In an equation for ‛foo’: foo x = Just (1#)




More information about the ghc-commits mailing list