Recognition of `_` in Initial Condition of for Loop about gno HOT 4 OPEN

It probably shouldn't accept the syntax and have the same behaviour as Go, there's no good reason why the feature should be accepted in Gno. However, I think it's safe to say that if the only statement accepted in this context _ this can be considered low-priority :)

from gno.

This test reproduces the case where the loop's initialization condition is underscored, as shown below:

func TestForLoopIgnoredInital(t *testing.T) {
	m := NewMachine("test", nil)
	main := FuncD("main", nil, nil, Ss(
		A("i", ":=", "0"),
		For(
			X("_"),
			X("i < 5"),
			Inc("i"),
		),
	))
	m.RunDeclaration(main)
	m.RunMain()
}

However, I'm not sure how to test for an empty value in the initial condition.

from gno.

@thehowl I didn't think there was anything wrong with it, but it was vague. Thanks for the feedback

from gno.

still an issue we should fix (I think more likely by not accepting all expressions as statements)

from gno.