diff options
| author | Richard Eisenberg <eir@seas.upenn.edu> | 2013-08-28 12:05:03 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-09-17 21:41:53 -0400 |
| commit | 1e3ca733694f0c9c8cc1d95237eb4b09cee4206f (patch) | |
| tree | 73f31ae153ac841d0f8499b5edd98075881bdec4 /testsuite/tests/roles/should_fail/Roles5.hs | |
| parent | b4ab30d54540573fbda3f561377d2c5968eb215c (diff) | |
| download | haskell-1e3ca733694f0c9c8cc1d95237eb4b09cee4206f.tar.gz | |
Update to tests due to change in syntax for role annotations.
Diffstat (limited to 'testsuite/tests/roles/should_fail/Roles5.hs')
| -rw-r--r-- | testsuite/tests/roles/should_fail/Roles5.hs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/tests/roles/should_fail/Roles5.hs b/testsuite/tests/roles/should_fail/Roles5.hs new file mode 100644 index 0000000000..b75af75008 --- /dev/null +++ b/testsuite/tests/roles/should_fail/Roles5.hs @@ -0,0 +1,9 @@ +module Roles5 where + +data T a +class C a +type S a = Int + +type role T nominal +type role C representational +type role S phantom
\ No newline at end of file |