The specification says nothing about ReturnType void, but it
does need considerable updating, e.g., it doesn't know about
per-state ReturnType directives.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=557260
Probably going to "fix it in doc" -- the emitters are
written with the idea that something will be returned from
the reductions.
Logged In: YES
user_id=557260
The specification says nothing about ReturnType void, but it
does need considerable updating, e.g., it doesn't know about
per-state ReturnType directives.
Re-purposed this defect to note that the specification doc in general needs an update.