Re: How do you write a typed macro?

2016-08-02 Thread jxy
Tried the `devel` branch. Now my second try works already. This means the only 
thing one need to do is to replace the looked up symbol of the function with an 
identifier and the compiler in the `devel` branch can correct type check/symbol 
look up the whole statement again.

That's fantastic! Do you have a planned date for the next release?


Re: How do you write a typed macro?

2016-08-02 Thread Araq
These all work or produce sensible error messages for me on `devel`.

> what does the return type of a macro mean?

It's checked that the produced AST is of the specified type, but indeed `typed` 
or `untyped` doesn't make a difference.