Change printing of K"latestworld"

Parens are nice, but it wasn't consistent.

Also make it a leaf (remaining non-leaves are deleted in the next commit.)

Author: mlechu

src/ast.jl

@@ -150,7 +150,7 @@ function makeleaf(ctx, srcref, k::Kind, value; kws...)
         makeleaf(graph, srcref, k; id=value, kws...)
     elseif k == K"symbolic_label"
         makeleaf(graph, srcref, k; name_val=value, kws...)
-    elseif k == K"TOMBSTONE" || k == K"SourceLocation"
+    elseif k in KSet"TOMBSTONE SourceLocation latestworld latestworld_if_toplevel"
         makeleaf(graph, srcref, k; kws...)
     else
         val = k == K"Integer" ? convert(Int,     value) :

src/closure_conversion.jl

@@ -391,7 +391,7 @@ function _convert_closures(ctx::ClosureConversionCtx, ex)
                     type_for_closure(ctx, ex, name_str, field_syms, field_is_box)
                 if !ctx.is_toplevel_seq_point
                     push!(ctx.toplevel_stmts, closure_type_def)
-                    push!(ctx.toplevel_stmts, @ast ctx ex [K"latestworld_if_toplevel"])
+                    push!(ctx.toplevel_stmts, @ast ctx ex (::K"latestworld_if_toplevel"))
                     closure_type_def = nothing
                 end
                 closure_info = ClosureInfo(closure_type_, field_syms, field_inds)
@@ -416,7 +416,7 @@ function _convert_closures(ctx::ClosureConversionCtx, ex)
                 end
                 @ast ctx ex [K"block"
                     closure_type_def
-                    [K"latestworld_if_toplevel"]
+                    (::K"latestworld_if_toplevel")
                     closure_type := if isempty(type_params)
                         closure_type_
                     else

src/desugaring.jl

@@ -1853,7 +1853,7 @@ function expand_call(ctx, ex)
                 expand_forms_2(ctx, farg)
                 expand_forms_2(ctx, args)...
             ]]
-            [K"latestworld_if_toplevel"]
+            (::K"latestworld_if_toplevel")
             r
         ]
     else

src/syntax_graph.jl

@@ -431,7 +431,7 @@ function _value_string(ex)
           k == K"Symbol"      ? ":$(ex.name_val)" :
           k == K"globalref"   ? "$(ex.mod).$(ex.name_val)" :
           k == K"slot"        ? "slot" :
-          k == K"latestworld" ? "(latestworld)" :
+          k == K"latestworld" ? "latestworld" :
           k == K"static_parameter" ? "static_parameter" :
           k == K"symbolic_label" ? "label:$(ex.name_val)" :
           k == K"symbolic_goto" ? "goto:$(ex.name_val)" :

test/assignments_ir.jl

@@ -46,7 +46,7 @@ begin
 end
 #---------------------
 1   (method TestMod.b)
-2   (latestworld)
+2   latestworld
 3   TestMod.b
 4   (call core.Typeof %₃)
 5   (call core.svec %₄)
@@ -58,7 +58,7 @@ end
     1   TestMod.d
     2   (= slot₂/c %₁)
     3   (return %₁)
-10  (latestworld)
+10  latestworld
 11  TestMod.b
 12  (= slot₁/a %₁₁)
 13  (return %₁₁)
@@ -143,7 +143,7 @@ X{T} = Y{T,T}
 7   (call core.apply_type %₄ %₅ %₆)
 8   (call core.UnionAll %₃ %₇)
 9   (constdecl TestMod.X %₈)
-10  (latestworld)
+10  latestworld
 11  (return %₈)
 
 ########################################
@@ -161,7 +161,7 @@ end
 7   (call core.apply_type %₄ %₅ %₆)
 8   (call core.UnionAll %₃ %₇)
 9   (= slot₁/X %₈)
-10  (latestworld)
+10  latestworld
 11  (return %₈)
 
 ########################################