diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-06-19 18:33:43 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-06-19 18:33:43 +0200 |
| commit | c03b9655be4ea08d02c28771b3e203a4a91d29f2 (patch) | |
| tree | 04fafe9d3f6a8a61399a2969693a43e3820d76b8 /tests/run/t5610a.check | |
| parent | 76a056f5e1ea01b3cfdc8832e2a164562da770ab (diff) | |
| download | dotty-c03b9655be4ea08d02c28771b3e203a4a91d29f2.tar.gz dotty-c03b9655be4ea08d02c28771b3e203a4a91d29f2.tar.bz2 dotty-c03b9655be4ea08d02c28771b3e203a4a91d29f2.zip | |
Fix problem in eta expansion.
Failure to do a widen caused by-name parameters to go undetected.
Diffstat (limited to 'tests/run/t5610a.check')
| -rw-r--r-- | tests/run/t5610a.check | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/run/t5610a.check b/tests/run/t5610a.check new file mode 100644 index 000000000..2aa46b3b9 --- /dev/null +++ b/tests/run/t5610a.check @@ -0,0 +1 @@ +Stroke a kitten |