The Rosette compiler addresses primitives by a number (primnum). To be able to run bytecode generated by the Rosette compiler Roscala has to know about the mapping from primnum to primitives. Since we have not implemented all primitives yet, it is fine to keep most of the map in comments.
The Rosette compiler addresses primitives by a number (primnum).
To be able to run bytecode generated by the Rosette compiler Roscala has to know about the mapping from primnum to primitives.
Since we have not implemented all primitives yet, it is fine to keep most of the map in comments.