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
I believe I want tlc to have a non-zero exist code/status on linux when there are any type errors reported. Currently it seems to always exit with 0, which makes it kind of frustrating to include in any real toolchain.
The text was updated successfully, but these errors were encountered:
I believe I want tlc to have a non-zero exist code/status on linux when there are any type errors reported. Currently it seems to always exit with 0, which makes it kind of frustrating to include in any real toolchain.
The text was updated successfully, but these errors were encountered: