Add Function25 on top of #1413.

[nicolasstucki]

Review by @odersky .

There is one case in scalacheck where there are 3 captured parameters on top of the explicit 22.

[DarkDimius]

Adding functions by one does not scale. Can we make functions over 22
arguments be created lazily and add a temporary check in refchecks that
people do not use them with a nice error message?

Addionally, it would be great to add a postcondition to lambdalift that
those functions do not survive.

On 28 July 2016 11:46:41 am Nicolas Stucki notifications@github.com wrote:

Review by @odersky .

There is one case in scalacheck where there are 3 captured parameters on
top of the explicit 22.
You can view, comment on, or merge this pull request online at:

#1422

-- Commit Summary --

• Add Function25 on top of Fix #1385: Temporarily lift 22 limit for functions #1413.

-- File Changes --

M src/dotty/tools/dotc/core/Definitions.scala (4)
A src/scala/Function25.scala (21)

-- Patch Links --

https://github.com/lampepfl/dotty/pull/1422.patch
https://github.com/lampepfl/dotty/pull/1422.diff

---

You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
#1422

[odersky]

I agree that adding functions by one does not scale. But it's a temporary hack anyway. So I'd say let's add two more as a quick fix before we do the real one. @nicolasstucki can you do this please?

[nicolasstucki]

I added functions up to 30, with this we can capture up to 8 additional parameters.

Has someone started looking into removing the parameter number limitation yet?

[odersky]

LGTM, thanks!

Nobody has started working on the general problem yet. I thought Olivier Blancpain could have a go at it when he starts in September.