Ah, I was misreading it.  For some reason, I thought I was looking at an 
"actual argument" of a method *call* instead of the "formal parameter" 
of a method *definition*.  What you've written is reasonable.

On 04/11/2014 03:41 PM, dwightguth wrote:
> In src/javasources/KTool/src/org/kframework/kil/Term.java:
>
>>              @Override
>> -            public void visit(Variable node) {
>> +            public Void visit(Variable node, Void _) {
>
> Void is the Java class associated with void operations just as Integer
> is associated with int. Unfortunately Java doesn't autobox void, so I
> have to actually declare this parameter, even though it really just
> means "no parameter here". so I named the variable _ to indicate that
> it's an unused field. How do you want me to proceed here? I don't have a
> strong preference.
> … <#>
> On Apr 11, 2014 3:34 PM, "mdmkolbe" <notifications@github.com> wrote: In
> src/javasources/KTool/src/org/kframework/kil/Term.java: > @Override
> <https://github.com/Override> > - public void visit(Variable node) { > +
> public Void visit(Variable node, Void _) { What does "Void _" mean in
> this context? (Is that Java 7 or something new in Java 8?) -- Reply to
> this email directly or view it on
> GitHub<https://github.com/kframework/k/pull/364/files#r11550661> .
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/364/files#r11550936>.
>