diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-06-10 13:38:06 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-06-11 09:27:40 -0400 |
| commit | 9e6c6b4206cd893434e49cd893eb67081eeffe99 (patch) | |
| tree | 5a7b6448cf111c04f2c31b65a70e123e2f59019e /testsuite/tests/roles | |
| parent | 0e6bc84ca958f6da8c10c2ed489f87d8c4c9b463 (diff) | |
| download | haskell-9e6c6b4206cd893434e49cd893eb67081eeffe99.tar.gz | |
Make FunPtr's role be phantom; add comments.
This change also updates castFunPtr to make it free at runtime.
This fixes #9163.
Diffstat (limited to 'testsuite/tests/roles')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles2.stderr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles2.stderr b/testsuite/tests/roles/should_compile/Roles2.stderr index e6f9bcd8d0..2c7ab6c66f 100644 --- a/testsuite/tests/roles/should_compile/Roles2.stderr +++ b/testsuite/tests/roles/should_compile/Roles2.stderr @@ -1,6 +1,7 @@ TYPE SIGNATURES TYPE CONSTRUCTORS data T1 a = K1 (IO a) + type role T2 phantom data T2 a = K2 (FunPtr a) COERCION AXIOMS Dependent modules: [] |