[Git][ghc/ghc][wip/T17521] Add hs-boot test

[Jaro Reinders (@Noughtmare)]

Jaro Reinders pushed to branch wip/T17521 at Glasgow Haskell Compiler / GHC


Commits:
1a69abbb by Jaro Reinders at 2023-07-17T17:38:45+02:00
Add hs-boot test

- - - - -


4 changed files:

- + testsuite/tests/unlifted-datatypes/should_compile/TopLevelStgRewriteBoot.hs
- + testsuite/tests/unlifted-datatypes/should_compile/TopLevelStgRewriteBoota.hs
- + testsuite/tests/unlifted-datatypes/should_compile/TopLevelStgRewriteBoota.hs-boot
- testsuite/tests/unlifted-datatypes/should_compile/all.T


Changes:

=====================================
testsuite/tests/unlifted-datatypes/should_compile/TopLevelStgRewriteBoot.hs
=====================================
@@ -0,0 +1,19 @@
+{-# LANGUAGE UnliftedDatatypes #-}
+
+module TopLevelStgRewriteBoot where
+
+import {-# SOURCE #-} TopLevelStgRewriteBoota
+import GHC.Exts
+import Data.Kind (Type)
+
+x :: Bool
+x = True
+
+type Box :: UnliftedType -> Type
+data Box a = Box a
+
+type B :: Type -> UnliftedType
+data B a = B !a
+
+b :: Box (B Bool)
+b = Box (B a)
\ No newline at end of file


=====================================
testsuite/tests/unlifted-datatypes/should_compile/TopLevelStgRewriteBoota.hs
=====================================
@@ -0,0 +1,6 @@
+module TopLevelStgRewriteBoota where
+
+import TopLevelStgRewriteBoot (x)
+
+a :: Bool
+a = not x


=====================================
testsuite/tests/unlifted-datatypes/should_compile/TopLevelStgRewriteBoota.hs-boot
=====================================
@@ -0,0 +1,3 @@
+module TopLevelStgRewriteBoota where
+
+a :: Bool


=====================================
testsuite/tests/unlifted-datatypes/should_compile/all.T
=====================================
@@ -4,3 +4,4 @@ test('UnlDataFams', normal, compile, [''])
 test('UnlDataUsersGuide', normal, compile, [''])
 test('TopLevel', normal, multimod_compile, ['TopLevel', '-O'])
 test('TopLevelStgRewrite', normal, multimod_compile, ['TopLevelStgRewrite', '-v0'])
+test('TopLevelStgRewriteBoot', normal, multimod_compile, ['TopLevelStgRewriteBoot', '-O -v0'])



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1a69abbb77d9401098139c91eaa7d245b5149072

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/1a69abbb77d9401098139c91eaa7d245b5149072
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/20230717/8f4def73/attachment-0001.html>