Colin Eberhardt
Colin Eberhardt
raised an issue with the spec here: https://github.com/WebAssembly/spec/issues/694
Hmm ... can blocks have names? I can't find the reference right now, but I have a feeling that this was a feature that was removed before v1 of WebAssembly....
Although a label is mentioned in the spec: 
Despite the spec indicating that branch instructions can use labels or indices, I can't find any examples in the test suite (https://github.com/WebAssembly/testsuite) that use labels.
Yes, I agree, this should be removed.
I'll take this - I'd like to use it as a way to test #79
For the naming, it might be worth using the terminology from the specification:  They refer to identifiers as being either numeric or symbolic. This suggests to me something like...
Nothing to update, we’d be happy to receive a contribution!
See also: https://github.com/finos/FDC3-conformance-framework/issues/53
Colin Eberhardt / Scott Logic