diff options
| author | Douglas Wilson <douglas.wilson@gmail.com> | 2017-07-11 11:55:15 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-07-11 13:41:54 -0400 |
| commit | 6cff2caddd9b329272a7d6965b20432e8078e0d8 (patch) | |
| tree | 77d320640124b8c9b44eb1110c4b9c8f442144e6 /testsuite/tests | |
| parent | b0c9f34aa3da914524ef37294bba78afefc3ada7 (diff) | |
| download | haskell-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.hs | 8 | ||||
| -rw-r--r-- | testsuite/tests/annotations/should_compile/T13818/B.hs | 5 | ||||
| -rw-r--r-- | testsuite/tests/annotations/should_compile/T13818/all.T | 1 |
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 |