Corrupted Sumethods

While creating a submethod, I ran into an error. I don’t think Venus liked my naming conventions and instantly closed the program causing my method to be corrupted. This is the second time that this has happened. When I try to reopen the method, I am getting this error:

Screenshot 2023-08-24 at 8.04.48 AM

I’ve tried deleting the API submethod from method .hs file and that doesn’t work. Are there any way to recover or will I have to start from scratch?

I tried recreating that _API submethod and this is the error:

Screenshot 2023-08-24 at 9.37.06 AM

Which version of VENUS are you running?

If you can provide a pkg, I can take a look. Thanks.


This is for Venus 5. Ping me your email.