diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-08-12 16:24:19 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-08-12 16:24:19 -0400 |
| commit | c6462ab02882779d7e33f2cac00cd89a9ac192f1 (patch) | |
| tree | d53c3dcdec8d94213bd6068f4baa0039d6e92735 /testsuite/tests/roles | |
| parent | 0bb1e84034a12d7f700b48fca6710c01bd08f397 (diff) | |
| download | haskell-c6462ab02882779d7e33f2cac00cd89a9ac192f1.tar.gz | |
Add test for #14101
I forgot to do this in
0bb1e84034a12d7f700b48fca6710c01bd08f397.
Diffstat (limited to 'testsuite/tests/roles')
| -rw-r--r-- | testsuite/tests/roles/should_compile/T14101.hs | 10 | ||||
| -rw-r--r-- | testsuite/tests/roles/should_compile/all.T | 1 |
2 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/roles/should_compile/T14101.hs b/testsuite/tests/roles/should_compile/T14101.hs new file mode 100644 index 0000000000..3a23b5af70 --- /dev/null +++ b/testsuite/tests/roles/should_compile/T14101.hs @@ -0,0 +1,10 @@ +{-# LANGUAGE RoleAnnotations #-} +module T14101 where + +type role Array representational +data Array a + +type Arr = Array + +data Foo a = Foo (Arr a) +type role Foo representational diff --git a/testsuite/tests/roles/should_compile/all.T b/testsuite/tests/roles/should_compile/all.T index c0b0d827c9..8d7c31f4da 100644 --- a/testsuite/tests/roles/should_compile/all.T +++ b/testsuite/tests/roles/should_compile/all.T @@ -7,3 +7,4 @@ test('Roles14', only_ways('normal'), compile, ['-ddump-tc -dsuppress-uniques']) test('T8958', [normalise_fun(normalise_errmsg), only_ways('normal')], compile, ['-ddump-tc -dsuppress-uniques -fprint-typechecker-elaboration']) test('T10263', normal, compile, ['']) test('T9204b', [], multimod_compile, ['T9204b', '-v0']) +test('T14101', normal, compile, ['']) |