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
Following the instructions for generating the Python dialect, I'm able to successfully run python -m strata.gen dialect dialect_dir. However, when I run the following command:
lake exe StrataVerify --check Tools/Python/dialect_dir/Python.dialect.st.ion
I get:
uncaught exception: Tried to read file 'Tools/Python/dialect_dir/Python.dialect.st.ion' containing non UTF-8 data.
Starting a discussion here rather than creating an issue, as I'm not sure whether this is an actual bug or that I haven't followed the instructions correctly.
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
Uh oh!
There was an error while loading. Please reload this page.
-
Following the instructions for generating the Python dialect, I'm able to successfully run
python -m strata.gen dialect dialect_dir. However, when I run the following command:I get:
Starting a discussion here rather than creating an issue, as I'm not sure whether this is an actual bug or that I haven't followed the instructions correctly.
Beta Was this translation helpful? Give feedback.
All reactions