Question on semantics of inlined parameters.

[nicolasstucki]

inline def foo(inline n: Int) = bar(n)
inline def bar(inline n: Int) = n

currently has the following error

error: argument to inline parameter must be a constant expression or a function
  inline def foo(inline n: Int) = bar(n)
                                      ^

I would assume that n should be considered as a constant as at call site it will be a constant and foo is going to be inlined. Hence this should be allowed. Is this correct? Or, I'm missing something else?

[odersky]

Yes, I think that's correct. The argument should be legal.

On Sat, Oct 8, 2016 at 9:29 PM, Nicolas Stucki [email protected]
wrote:

inline def foo(inline n: Int) = bar(n)
inline def bar(inline n: Int) = n

currently has the following error

error: argument to inline parameter must be a constant expression or a function
inline def foo(inline n: Int) = bar(n)
^

I would assume that n should be considered as a constant as at call site
it will be a constant and foo is going to be inlined. Hence this should
be allowed. Is this correct? Or, I'm missing something else?

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
#1570, or mute the thread
https://github.com/notifications/unsubscribe-auth/AAwlVm60kSvBiD7fqXgT1GS7mSHpHioHks5qx-8KgaJpZM4KRzjT
.
{"api_version":"1.0","publisher":{"api_key":"
05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity":
{"external_key":"github/lampepfl/dotty","title":"
lampepfl/dotty","subtitle":"GitHub repository","main_image_url":"
https://cloud.githubusercontent.com/assets/143418/17495839/a5054eac-5d88-
11e6-95fc-7290892c7bb5.png","avatar_image_url":"https://
cloud.githubusercontent.com/assets/143418/15842166/
7c72db34-2c0b-11e6-9aed-b52498112777.png","action":{"name":"Open in
GitHub","url":"https://github.com/lampepfl/dotty"}},"
updates":{"snippets":[{"icon":"DESCRIPTION","message":"Question on
semantics of inlined parameters. (#1570)"}],"action":{"name":"View
Issue","url":"https://github.com/lampepfl/dotty/issues/1570"}}}

Prof. Martin Odersky
LAMP/IC, EPFL