[Git][ghc/ghc][wip/t12928] Add a minimized regression test for #12928

[Vladislav Zavialov]

Vladislav Zavialov pushed to branch wip/t12928 at Glasgow Haskell Compiler / GHC


Commits:
5e5a039b by Vladislav Zavialov at 2019-05-08T18:50:04Z
Add a minimized regression test for #12928

- - - - -


2 changed files:

- + testsuite/tests/typecheck/should_compile/T12928.hs
- testsuite/tests/typecheck/should_compile/all.T


Changes:

=====================================
testsuite/tests/typecheck/should_compile/T12928.hs
=====================================
@@ -0,0 +1,7 @@
+{-# LANGUAGE PolyKinds #-}
+
+module T12928 where
+
+import Data.Proxy
+
+data FffSym0 (l :: Proxy a)


=====================================
testsuite/tests/typecheck/should_compile/all.T
=====================================
@@ -673,3 +673,4 @@ test('T13951', normal, compile, [''])
 test('T16411', normal, compile, [''])
 test('T16609', normal, compile, [''])
 test('T505', normal, compile, [''])
+test('T12928', normal, compile, [''])



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/commit/5e5a039bc7835441a0b8ebe300a52af1bbfde2b6

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/commit/5e5a039bc7835441a0b8ebe300a52af1bbfde2b6
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20190508/7f696579/attachment.html>