Fix output for T8262
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 11 Sep 2013 09:00:23 +0000 (10:00 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 11 Sep 2013 09:00:23 +0000 (10:00 +0100)
testsuite/tests/typecheck/should_fail/T8262.stderr

index d2664a3..db908de 100644 (file)
@@ -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#)