aeternity / aesophia

Stand alone compiler for the Sophia smart contract language
https://docs.aeternity.com/aesophia
ISC License
52 stars 19 forks source link

Deprecate AEVM #375

Closed radrow closed 2 years ago

radrow commented 2 years ago

fixes #226

radrow commented 2 years ago

TODO: [X] check error messages in code_errors if all are needed [X] check for orphaned tests

(done)

ghallak commented 2 years ago

I have no idea if this is related, but I'll ask anyway.

What is fun_clauses? Is it something that should be deprecated? There are no parsing rule for it in aeso_parser.erl and I don't see how it can be derived from any thing else.

radrow commented 2 years ago

I have no idea if this is related, but I'll ask anyway.

What is fun_clauses? Is it something that should be deprecated? There are no parsing rule for it in aeso_parser.erl and I don't see how it can be derived from any thing else.

They are used somewhere in the process of multi-clause function definitions resolution. In the end they turn into case expressions

ghallak commented 2 years ago

What else is missing for this PR?