[Git][ghc/ghc][wip/int-index/decl-invis-binders] Add test

[Vladislav Zavialov (@int-index)]

Vladislav Zavialov pushed to branch wip/int-index/decl-invis-binders at Glasgow Haskell Compiler / GHC


Commits:
4e4f112a by Vladislav Zavialov at 2023-01-30T17:28:28+03:00
Add test

- - - - -


2 changed files:

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


Changes:

=====================================
testsuite/tests/typecheck/should_compile/T22560e.hs
=====================================
@@ -0,0 +1,9 @@
+module T22560e where
+
+import Data.Kind
+import Data.Proxy
+
+type X = forall k. k -> Type
+
+type Y :: X
+type Y @k (a :: k) = Proxy a
\ No newline at end of file


=====================================
testsuite/tests/typecheck/should_compile/all.T
=====================================
@@ -857,4 +857,5 @@ test('T22647', normal, compile, [''])
 test('T22560a', normal, compile, [''])
 test('T22560b', normal, compile, [''])
 test('T22560c', normal, compile, [''])
-test('T22560d', extra_files(['T22560d.hs']), ghci_script, ['T22560d.script'])
\ No newline at end of file
+test('T22560d', extra_files(['T22560d.hs']), ghci_script, ['T22560d.script'])
+test('T22560e', normal, compile, [''])



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/4e4f112a0579d2de0ba6c6efea56a54c61b6cdd3

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/4e4f112a0579d2de0ba6c6efea56a54c61b6cdd3
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/20230130/cdb9ead2/attachment-0001.html>