1234_2_8 would incorrectly "recursively" parse 2 kind parameters.
Instead, it should fail to compile. Similarly, 123_a_1 should parses 2
kind parameters, but should parse a single kind parameter name of a_1.
The issue is fixed by changing the representation for kind parameters,
and updating the parsers.
1234_2_8would incorrectly "recursively" parse 2 kind parameters. Instead, it should fail to compile. Similarly,123_a_1should parses 2 kind parameters, but should parse a single kind parameter name ofa_1. The issue is fixed by changing the representation for kind parameters, and updating the parsers.