summaryrefslogtreecommitdiff
path: root/testsuite/tests
diff options
context:
space:
mode:
authorDouglas Wilson <douglas.wilson@gmail.com>2017-07-11 11:55:15 -0400
committerBen Gamari <ben@smart-cactus.org>2017-07-11 13:41:54 -0400
commit6cff2caddd9b329272a7d6965b20432e8078e0d8 (patch)
tree77d320640124b8c9b44eb1110c4b9c8f442144e6 /testsuite/tests
parentb0c9f34aa3da914524ef37294bba78afefc3ada7 (diff)
downloadhaskell-6cff2caddd9b329272a7d6965b20432e8078e0d8.tar.gz
Add testcase for T13818
Annotations currently fail to type check if they annotation cannot be loaded into ghci, such as when built with -fno-code. Test Plan: ./validate Reviewers: austin, bgamari Reviewed By: bgamari Subscribers: rwbarton, thomie GHC Trac Issues: #13818 Differential Revision: https://phabricator.haskell.org/D3701
Diffstat (limited to 'testsuite/tests')
-rw-r--r--testsuite/tests/annotations/should_compile/T13818/A.hs8
-rw-r--r--testsuite/tests/annotations/should_compile/T13818/B.hs5
-rw-r--r--testsuite/tests/annotations/should_compile/T13818/all.T1
3 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/annotations/should_compile/T13818/A.hs b/testsuite/tests/annotations/should_compile/T13818/A.hs
new file mode 100644
index 0000000000..1f04845f36
--- /dev/null
+++ b/testsuite/tests/annotations/should_compile/T13818/A.hs
@@ -0,0 +1,8 @@
+{-# LANGUAGE DeriveDataTypeable #-}
+module A where
+
+import Data.Typeable
+import Data.Data
+
+data FromA = FromA
+ deriving (Typeable, Data)
diff --git a/testsuite/tests/annotations/should_compile/T13818/B.hs b/testsuite/tests/annotations/should_compile/T13818/B.hs
new file mode 100644
index 0000000000..d64afef5e3
--- /dev/null
+++ b/testsuite/tests/annotations/should_compile/T13818/B.hs
@@ -0,0 +1,5 @@
+module B where
+
+import A
+
+{-# ANN module FromA #-}
diff --git a/testsuite/tests/annotations/should_compile/T13818/all.T b/testsuite/tests/annotations/should_compile/T13818/all.T
new file mode 100644
index 0000000000..ce858b6c7a
--- /dev/null
+++ b/testsuite/tests/annotations/should_compile/T13818/all.T
@@ -0,0 +1 @@
+test('T13818', [expect_broken(13818),req_interp, omit_ways(prof_ways), extra_files(['A.hs', 'B.hs'])], multimod_compile, ['B', '-v0 -fno-code']) \ No newline at end of file