diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2019-04-17 13:55:39 -0700 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-04-18 22:52:25 -0400 |
commit | fdfd97310128d82ac5316d357f0422c9939c1edc (patch) | |
tree | 9d56ff314b9be4e06f0dcb78e4f91505cff910ea /testsuite/tests/quotes/T16384.hs | |
parent | 57cf113302eee6068a1b10cba348f4b7de7faeae (diff) | |
download | haskell-fdfd97310128d82ac5316d357f0422c9939c1edc.tar.gz |
Add test case for #16384
Now that `TExp` accepts unlifted types, #16384 is fixed. Since the real
issue there was GHC letting through an ill-kinded type which
`-dcore-lint` rightly rejected, a reasonable regression test is that
the program from #16384 can now be accepted without `-dcore-lint`
complaining.
Diffstat (limited to 'testsuite/tests/quotes/T16384.hs')
-rw-r--r-- | testsuite/tests/quotes/T16384.hs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/tests/quotes/T16384.hs b/testsuite/tests/quotes/T16384.hs new file mode 100644 index 0000000000..25d05d4d38 --- /dev/null +++ b/testsuite/tests/quotes/T16384.hs @@ -0,0 +1,9 @@ +{-# LANGUAGE MagicHash #-} +{-# LANGUAGE TemplateHaskell #-} +module T16384 where + +import GHC.Exts + +wat :: () -> Int# +wat _ = $$([|| 1# ||]) + |