World: r3wp

how about this, is it intended?
>> f:  func [self] [self]
** Script error: duplicate variable specified: self
** Where: make func
** Near: make function! copy/deep reduce [spec body]

(that looks like illustrating your note, that 'self is a keyword)

Nope, it is not intended, it is a bug. Report it.

Only closures and FUNCT/with should define 'self; regular functions 
shouldn't.

Why closures, is it of advantage for closures?

(I do not see it as an advantage, maybe overlooking something...)

The contexts of closures persist outside of the scope of their execution, 
like objects. The contexts of functions don't.

yes, I know that, but does it need to use 'self because of that?

(my closures originally did not use 'self)

Not unless the closure has no arguments, but it doesn't hurt enough 
to get rid of it. On the other hand, we should probably get rid of 
'self binding from FOR, REPEAT, FOREACH, MAP-EACH and REMOVE-EACH 
(it's already been reported).

yes, that looks inappropriate

I would be willing to accept getting rid of 'self binding from closures 
if that is the choice, no big deal.

The 'self bound by FUNCT/with is bound to the object context, so 
it should stay.

'self binding from FOR,
 could you point me to the ticket?

Weird, can't find it. I remember someone reporting it - must have 
been in chat. Report it.

OK

I would myself but don't have the time today (friend in hospital). 
I can refine any tickets later if you like.

OK, no problem

It seems that functions don't bind 'self to the code block, but they 
do reserve it in the function spec. So that's a separate ticket.

yes

And closures don't bind 'self anymore either (I now vaguely remember 
a ticket related to that).

Note: The duplicate variable 'self bug in function and closure specs 
might be dismissed (not by me). It could be necessary for the implementation 
to have an internal 'self in the function contexts; only Carl could 
say for sure.

That seems like more of a gotcha than a bug though.

>> g: func [] [self]

>> same? 'self first body-of :g
== false

hmm, seems to be used

how about the #447, it does not look like accepted to me?

It's not rebound by the function. What you are seeing is the script 
context.

>> a: 'self
== self

>> b: 'self
== self

>> same? a b
== true

Right. Scripts all use the same default context: system/contexts/user.

Modules get their own contexts.

>> same? self system/contexts/user
== true

then, what makes the difference in the above case of the function 
body?

The 'self word you are comparing is not bound to the function context, 
it is bound to the script context.

Or whatever other "outer" context 'self is bound to depending on 
where the function was defined.

>> a-body: [self]
== [self]

>> g: func [] a-body
>> same? first a-body first body-of :g
== false

so, something has to happen when the Func is called

No, something happens in BODY-OF - the words are unbound in the copy 
of the body returned, for security purposes.

right, sorry

>> a-body: [first [self]]
== [first [self]]

>> g: func [] a-body
>> same? first second a-body g
== true

>> a-body: [self same? first a-body 'self]
== [self same? first a-body 'self]
>> g: func [] a-body
>> g
== true

and how about #447, do you consider it solved?

Yeah. It must have been reported by that other BrianH :)

which one?

LOL

I use that joke in the tickets when someone doesn't realize that 
they are reporting the same bug twice :)

Just checked: I have reported 1/6 of the R3 tickets in CureCode.

, which is probably less, than what Meijeru has reported?

(amazing)

It's harder for me to get the proportion of Meijeru's tickets - I 
have to count tickets rather than pages.

nevertheless, shouldn't #447 be marked as still not solved?