the first public draft of the inline/meta SIP

[xeno-by]

/cc @odersky @adriaanm @retronym

[dwijnand]

Please note that another thing that final val does is make its type more precise:

Welcome to Scala 2.11.8 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_92).
Type in expressions for evaluation. Or try :help.

scala> val x = 1
x: Int = 1

scala> final val x = 1
x: Int(1) = 1

So you would be throwing that out as well..

[xeno-by]

I am retracting this draft from public discussion.

Over the last few months, I have created an extensive description of the new macro system, expanding on the points briefly touched in this pull request and filling in the blanks. Before the end of this month, I will finish the proposal and post it as a pre-SIP at the scala-sips mailing list, as required by the new process (http://docs.scala-lang.org/sips/sip-submission.html). I will also post a link to the new discussion here.

@acdenhartog @dwijnand Thank you for your feedback. It has been addressed in the new write-up.

[xeno-by]

I have just published a follow-up proposal at https://gist.github.com/xeno-by/9d7a709b1ba7c2ee64cfedcc5d264bd5. In order to centralize the discussion, post your questions, feedback and ideas to http://gitter.im/scalameta/sips.

[odersky]

@axel22 Dotty's implementation of SIPs knows about the position in the inlined method and in the call. For example, here's a typical error message:

C_1.scala:5: error: class D in package p cannot be accessed
    val d = new D()     // error (when inlined): not accessible
                ^

... this location is in code that was inlined at Test_2.scala:5:

    c.inl()
         ^
one error found

[axel22]

@odersky That looks great. I'm looking forward to trying it out!