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
Probably a subtle bug in the FFI. For my newt project, idris on node fails to write the ttc file for Lib/Parser/Impl.idr unless I pre-create the directory for it.
The text was updated successfully, but these errors were encountered:
Probably a subtle bug in the FFI. For my newt project, idris on node fails to write the ttc file for
Lib/Parser/Impl.idr
unless I pre-create the directory for it.The text was updated successfully, but these errors were encountered: