Prototype: Underscores and prefix anonymous function syntax

As discussed in JuliaLang/julia#38713

Author: c42f

src/expr.jl

@@ -46,6 +46,27 @@ function reorder_parameters!(args, params_pos)
     insert!(args, params_pos, pop!(args))
 end
 
+function lower_underscores!(anon_args, args, argrange=1:length(args))
+    for i in argrange
+        a = args[i]
+        if a == :_
+            g = gensym()
+            push!(anon_args, g)
+            args[i] = g
+        elseif a isa Expr
+            if Meta.isexpr(a, :call) && length(a.args) > 2 &&
+                    Meta.isexpr(a.args[2], :parameters)
+                lower_underscores!(anon_args, a.args, 1:1)
+                lower_underscores!(anon_args, a.args, 3:length(a.args))
+                lower_underscores!(anon_args, a.args, 2:2)
+            else
+                # FIXME: Other out-of-source-order Exprs
+                lower_underscores!(anon_args, a.args)
+            end
+        end
+    end
+end
+
 function _to_expr(node::SyntaxNode; iteration_spec=false, need_linenodes=true,
                   eq_to_kw=false, map_kw_in_params=false)
     if !haschildren(node)
@@ -275,11 +296,17 @@ function _to_expr(node::SyntaxNode; iteration_spec=false, need_linenodes=true,
         # Block for conditional's source location
         args[1] = Expr(:block, loc, args[1])
     elseif headsym === :(->)
-        if Meta.isexpr(args[2], :block)
-            pushfirst!(args[2].args, loc)
+        if is_prefix_op_call(node)
+            anon_args = Symbol[]
+            lower_underscores!(anon_args, args)
+            pushfirst!(args, Expr(:tuple, anon_args...))
         else
-            # Add block for source locations
-            args[2] = Expr(:block, loc, args[2])
+            if Meta.isexpr(args[2], :block)
+                pushfirst!(args[2].args, loc)
+            else
+                # Add block for source locations
+                args[2] = Expr(:block, loc, args[2])
+            end
         end
     elseif headsym === :function
         if length(args) > 1

src/parser.jl

@@ -276,7 +276,7 @@ function is_syntactic_operator(k)
 end
 
 function is_syntactic_unary_op(k)
-    kind(k) in KSet"$ & ::"
+    kind(k) in KSet"$ & :: ->"
 end
 
 function is_type_operator(t)
@@ -1448,6 +1448,7 @@ end
 # &a   ==>  (& a)
 # ::a  ==>  (::-pre a)
 # $a   ==>  ($ a)
+# ->a  ==>  (-> a)
 #
 # flisp: parse-unary-prefix
 function parse_unary_prefix(ps::ParseState)
@@ -1465,14 +1466,16 @@ function parse_unary_prefix(ps::ParseState)
             if k in KSet"& ::"
                 # &a   ==>  (& a)
                 parse_where(ps, parse_call)
+            elseif k == K"->"
+                # -> binds loosely on the right
+                parse_eq_star(ps)
             else
                 # $a   ==>  ($ a)
                 # $$a  ==>  ($ ($ a))
                 # $&a  ==>  ($ (& a))
                 parse_unary_prefix(ps)
             end
-            # Only need PREFIX_OP_FLAG for ::
-            f = k == K"::" ? PREFIX_OP_FLAG : EMPTY_FLAGS
+            f = (k == K"::" || k == K"->") ? PREFIX_OP_FLAG : EMPTY_FLAGS
             emit(ps, mark, k, f)
         end
     else