diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-04-05 13:56:00 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-04-05 17:25:45 -0400 |
| commit | d468cd376ffc02cf9f4755275a316be914c482be (patch) | |
| tree | 3ae0b3da074be5aab808d13658bb3b0d52bde3ae /testsuite/tests/ghci/scripts/ghci031.stdout | |
| parent | e81d110e7ddd381e53c3af4fbd261d29edd16725 (diff) | |
| download | haskell-d468cd376ffc02cf9f4755275a316be914c482be.tar.gz | |
Fix #8958.
We now do role inference on stupid datatype contexts, allowing a
lightweight role annotation syntax.
Diffstat (limited to 'testsuite/tests/ghci/scripts/ghci031.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/ghci031.stdout | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/ghci/scripts/ghci031.stdout b/testsuite/tests/ghci/scripts/ghci031.stdout index d90cc7aa00..796433e1b7 100644 --- a/testsuite/tests/ghci/scripts/ghci031.stdout +++ b/testsuite/tests/ghci/scripts/ghci031.stdout @@ -1 +1,3 @@ -data Eq a => D a = C a -- Defined at ghci031.hs:7:1 +type role D nominal +data Eq a => D a = C a + -- Defined at ghci031.hs:7:1 |