[Git][ghc/ghc][wip/ghc-11342-char-kind] more tests

[Danya Rogozin]

Danya Rogozin pushed to branch wip/ghc-11342-char-kind at Glasgow Haskell Compiler / GHC


Commits:
984027e7 by Daniel Rogozin at 2020-12-16T18:48:16+03:00
more tests

- - - - -


3 changed files:

- libraries/time
- + testsuite/tests/typecheck/T11342c.hs
- testsuite/tests/typecheck/all.T


Changes:

=====================================
libraries/time
=====================================
@@ -1 +1 @@
-Subproject commit df292e1a74c6a87c2c1c889679074dd46ad39461
+Subproject commit c25d6a76702b454426e149fb590da5cb69f3bd0a


=====================================
testsuite/tests/typecheck/T11342c.hs
=====================================
@@ -0,0 +1,9 @@
+{-# LANGUAGE DataKinds #-}
+
+module T11342c where
+
+import Data.Typeable
+import GHC.TypeLits
+
+x :: TypeRep
+x = typeRep (Proxy :: Proxy 'x')


=====================================
testsuite/tests/typecheck/all.T
=====================================
@@ -1,3 +1,4 @@
 test('T11342a', normal, compile, ['-v0'])
+test('T11342c', normal, compile, ['-v0'])
 test('T11342d', normal, compile, ['-v0'])
 test('T11342e', normal, compile, ['-v0'])



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/984027e7ad7ba3fc164173bdd6f95021c79e1bf5

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/984027e7ad7ba3fc164173bdd6f95021c79e1bf5
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/20201216/07a5d1cb/attachment.html>