Test #13435 in typecheck/should_run/T13435
authorRichard Eisenberg <rae@cs.brynmawr.edu>
Fri, 17 Mar 2017 15:22:19 +0000 (11:22 -0400)
committerRichard Eisenberg <rae@cs.brynmawr.edu>
Fri, 17 Mar 2017 15:23:14 +0000 (11:23 -0400)
testsuite/tests/typecheck/should_run/T13435.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_run/T13435.stdout [new file with mode: 0644]
testsuite/tests/typecheck/should_run/all.T

diff --git a/testsuite/tests/typecheck/should_run/T13435.hs b/testsuite/tests/typecheck/should_run/T13435.hs
new file mode 100644 (file)
index 0000000..95ee946
--- /dev/null
@@ -0,0 +1,14 @@
+{-# Language FlexibleInstances, TypeFamilies, TypeInType, MagicHash #-}
+
+module Main where
+
+import Data.Kind
+import GHC.Exts
+
+class Shw (a :: TYPE rep) where
+  shw :: a -> String
+
+instance Int# ~ a => Shw (a :: TYPE IntRep) where
+  shw a = "I#" ++ show (I# a)
+
+main = putStrLn (shw 3#)
diff --git a/testsuite/tests/typecheck/should_run/T13435.stdout b/testsuite/tests/typecheck/should_run/T13435.stdout
new file mode 100644 (file)
index 0000000..ae451c2
--- /dev/null
@@ -0,0 +1 @@
+I#3
index 61db61e..60b5fae 100755 (executable)
@@ -120,3 +120,4 @@ test('EtaExpandLevPoly', normal, compile_and_run, [''])
 test('TestTypeableBinary', normal, compile_and_run, [''])
 test('Typeable1', normal, compile_fail, [''])
 test('TypeableEq', normal, compile_and_run, [''])
 test('TestTypeableBinary', normal, compile_and_run, [''])
 test('Typeable1', normal, compile_fail, [''])
 test('TypeableEq', normal, compile_and_run, [''])
+test('T13435', normal, compile_and_run, [''])