There are several ways to create functions in julia. One of them is the do syntax. You can't dispatch on do functions, but now and then the need comes up to capture the types of variables. Although this is easy with typeof inside the function body, it turns out to be quite easy to enable the use of where clauses in the do syntax. This would make a do function similar to the other function definitions.
The reason it's easy is that such expressions are already being parsed, but a minor detail prevents it from being accepted as a valid expression:
The where clause becomes encapsulated in a tuple. The reason is that after the parser sees do, it looks for a comma separated list. After the list is parsed, i.e. on ; or linefeed, the list is encapsulated in a tuple. This means that the where clause becomes an argument to the function, which fails as a syntax error. By modifying the parsing of do expressions to avoid inserting tuple if the newly parsed list is a where, the parse result becomes:
This is a valid :-> expression, just like an anonymous function definition ((x::T) where T) -> T(x) currently is.
The PR is a one-line change to parser.jl, isolated to parsing what follows do. It does not enable any new or very useful functionality, it merely will make functions defined in do quite similar to other function definitions.
I don't think this change will break anything, as the construction currently results in a ERROR: syntax: ... failure.
There are several ways to create functions in julia. One of them is the
do
syntax. You can't dispatch ondo
functions, but now and then the need comes up to capture the types of variables. Although this is easy withtypeof
inside the function body, it turns out to be quite easy to enable the use ofwhere
clauses in thedo
syntax. This would make ado
function similar to the other function definitions.The reason it's easy is that such expressions are already being parsed, but a minor detail prevents it from being accepted as a valid expression:
The
where
clause becomes encapsulated in atuple
. The reason is that after the parser seesdo
, it looks for a comma separated list. After the list is parsed, i.e. on;
or linefeed, the list is encapsulated in atuple
. This means that thewhere
clause becomes an argument to the function, which fails as a syntax error. By modifying the parsing ofdo
expressions to avoid insertingtuple
if the newly parsed list is awhere
, the parse result becomes:This is a valid
:->
expression, just like an anonymous function definition((x::T) where T) -> T(x)
currently is.The PR is a one-line change to
parser.jl
, isolated to parsing what followsdo
. It does not enable any new or very useful functionality, it merely will make functions defined indo
quite similar to other function definitions.I don't think this change will break anything, as the construction currently results in a
ERROR: syntax: ...
failure.