symboliclabel, symbolicgoto

Author: mlechu

src/compat.jl

@@ -247,11 +247,12 @@ function _insert_convert_expr(@nospecialize(e), graph::SyntaxGraph, src::SourceA
         # Existing behaviour appears to just ignore any extra args
         return _insert_convert_expr(e.args[1], graph, src)
     elseif e.head === :meta
+        # Messy and undocumented.  Sometimes we want a K"meta".
         @assert e.args[1] isa Symbol
         if e.args[1] === :nospecialize
             if nargs > 2
                 st_k = K"block"
-                # Kick the can down the road
+                # Kick the can down the road (should only be simple atoms?)
                 child_exprs = map(c->Expr(:meta, :nospecialize, c), child_exprs[2:end])
             else
                 st_id, src = _insert_convert_expr(e.args[2], graph, src)
@@ -374,6 +375,12 @@ function _insert_convert_expr(@nospecialize(e), graph::SyntaxGraph, src::SourceA
         st_k = K"="
     elseif e.head === Symbol("latestworld-if-toplevel")
         st_k = K"latestworld_if_toplevel"
+    elseif e.head === :symbolicgoto || e.head === :symboliclabel
+        @assert nargs === 1
+        st_k = e.head === :symbolicgoto ? K"symbolic_label" : K"symbolic_goto"
+        st_id = _insert_tree_node(graph, st_k, src)
+        setattr!(graph, st_id, name_val=string(e.args[1]))
+        return (st_id, src)
     end
 
     # Temporary heads introduced by converting the parent expr