[commit: testsuite] master: Test Trac #8262 (d9da475)

[git at git.haskell.org]

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

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

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

commit d9da475843e6ab868f1ec4cd2e2f531d195ea5d3
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Sep 10 18:02:17 2013 +0100

    Test Trac #8262


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

d9da475843e6ab868f1ec4cd2e2f531d195ea5d3
 tests/typecheck/should_fail/T8262.hs     |    5 +++++
 tests/typecheck/should_fail/T8262.stderr |   12 ++++++++++++
 tests/typecheck/should_fail/all.T        |    1 +
 3 files changed, 18 insertions(+)

diff --git a/tests/typecheck/should_fail/T8262.hs b/tests/typecheck/should_fail/T8262.hs
new file mode 100644
index 0000000..6bdaef3
--- /dev/null
+++ b/tests/typecheck/should_fail/T8262.hs
@@ -0,0 +1,5 @@
+{-# LANGUAGE MagicHash #-}
+
+module T8262 where
+
+foo x = Just (1#)
diff --git a/tests/typecheck/should_fail/T8262.stderr b/tests/typecheck/should_fail/T8262.stderr
new file mode 100644
index 0000000..d2664a3
--- /dev/null
+++ b/tests/typecheck/should_fail/T8262.stderr
@@ -0,0 +1,12 @@
+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
+
diff --git a/tests/typecheck/should_fail/all.T b/tests/typecheck/should_fail/all.T
index 9006845..f1aaee0 100644
--- a/tests/typecheck/should_fail/all.T
+++ b/tests/typecheck/should_fail/all.T
@@ -315,3 +315,4 @@ test('T7892', normal, compile_fail, [''])
 test('T7809', normal, compile_fail, [''])
 test('T7989', normal, compile_fail, [''])
 test('T8142', normal, compile_fail, [''])
+test('T8262', normal, compile_fail, [''])