You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
s does not have the type string, because of the --sv-no-strings option.
that means that s.itoa is not valid, since that's not defined for the sail_unit type.
Looks to be isolated just to the primops generated in this file.
This and similar functions should probably all just become stubs that return SAIL_UNIT if --sv-no-strings is set?
I can throw together a pull request for this, if that is the problem/solution
The text was updated successfully, but these errors were encountered:
Consider this function, generated from
src/sail_sv_backend/generate_primop2.ml
:s
does not have the typestring
, because of the--sv-no-strings
option.that means that
s.itoa
is not valid, since that's not defined for thesail_unit
type.Looks to be isolated just to the primops generated in this file.
This and similar functions should probably all just become stubs that return
SAIL_UNIT
if--sv-no-strings
is set?I can throw together a pull request for this, if that is the problem/solution
The text was updated successfully, but these errors were encountered: