World: r3wp

I thought so, so why not drop the callback attribute and let the 
programmer decide whether it is used as a callback or not?

Yes, it would be the logical thing to do.

But in such case, users woud have to always set the cconv manually 
and the compiler wouldn't be able to help catch errors.

The current 'callback attribute triggers the compiler inferer and 
cconv errors.

No, I mean your original plan was alright

Well, having just "cdecl" or "stdcall" might not hint enough the 
reader that the function is used as a callback...

But that's the point: it may not be

Just wondering: Why do functions need to be marked as being able 
to be callbacks? Is it to prevent them from being inlined?

Answered that a few lines above: "the callback attribute was just 
meant to help the compiler figure out that the cconv has to be solved 
at compile-time."

It is only related to calling convention resolution.

If we get rid of 'callback attribute, then only 'cdecl attribute 
will be required and it will have to be set manually everywhere it 
is needed.

The stdcall wouldn't be required as it is the internal calling convention 
used by native Red/System functions.

In such case, you could use any function as callbacks (as all functions 
calling convention would be known at compile-time).

Ah, cool, I was worried that you were only going to make explicitly 
marked functions usable as callbacks, rather than all functions.

You can omit the 'stdcall attribute for stdcall callbacks?

If we drop 'callback attribute, 'stdcall wouldn't be needed, as it 
is the default convention used by Red/System.

This might be the best option currently, as it would just require 
users to change 'callback to 'cdecl in most cases and just drop the 
'callback attribute in other cases.

Then we could just specify 'callback if we want the system to guess, 
'cdecl if we know it's that, and nothing if stdcall.

No, it can't work that way. If 'callback is used, then we need the 
error system to catch the unresolved cases, so we need to set initially 
every callback function calling convention as "unknown" instead of 
stdcall. For the unresolved cases, the user must be able to set manually 
the convention, so he needs both 'cdecl and 'stdcall to be accepted.

I guess I just don't understand well enough what is done to support 
callbacks. If you specify a 'callback attribute, is there a shim 
created that marshalls arguments from the callback calling convention 
(cdecl or stdcall) to the internal calling convention of the function 
(stdcall or cdecl)? And if you specify 'cdecl or 'stdcall, does that 
affect the internal calling convention so that no shim is required?

(Probably should just read the source)

When you use 'callback attribute on a function, the compiler just 
tries to determine what is the appropriate calling convention to 
apply internally to the callback function. In order to acheive that, 
it checks the first caller function that will take the callback as 
argument and set the callback to the same calling convention. This 
part is done by the compiler's front-end, which just tries to set 
the calling convention correctly (just a word! in an internal block!), 
nothing else.


The compiler's back-end just emits the right code for whatever calling 
convention the function has (cdecl, stdcall, syscall, ...).

If you were asking if a runtime conversion was done between calling 
conventions, the answer is no.

Kaj: I think after this discussion that dropping the whole callback 
thing should be the simplest solution. I would only add a 'cdecl 
attribute for functions that needs to be called from C code. Any 
function (with or without 'cdecl attribute) could then be used as 
callback. Would you agree?

Agreed

You may want to add the stdcall attribute already, as well, for when 
you go to fastcall for native functions

Right.

Sounds good to me too.

BrianH: I need to correct a bit my answer to your question. Actually, 
there is a small code emitter dependency on the 'callback attribute. 
It is used to save special registers (edi, esi, ebx) to conform to 
IA-32 ABI. It is only needed when providing callbacks that are invoked 
by the OS or external libraries.


I should be able to keep this feature in the new revision while making 
it transparent to the users.

BTW, I am glad you're following Red progress closer again. :-)

I have pushed a new revision of Red/System where the 'callback attribute 
is removed. Also, 'cdecl and 'stdcall are now accepted as functon 
attributes. I will update the specifications accordingly later today.

Kaj: as soon as your bindings will be updated for that, I will make 
the v0.2.2 release.

Good, 0.2.1 doesn't work with any binding

Hm, GitHub tarballs are down

cURL updated

0MQ updated

GTK updated

You should be able to use the audio for SDL now.

Have you tested?

Jay, it works!

I just tested that it compiles correctly now. Cool!

SDL updated. Everything is ready now

Good, I'll make the new tag right now then.

Ok, v0.2.2 tagged.

I can create and close an SQLite database now

that is cool!

Now I can execute SQL statements on a database, and process the results 
row by row with a callback

Since SQL is a dialect, a lot can already be done that way

The binding is now here:

http://red.esperconsultancy.nl/Red-SQLite