Add check for number of type variables in type signature

aeternity / aesophia

Stand alone compiler for the Sophia smart contract language

https://docs.aeternity.com/aesophia

ISC License

51 stars 19 forks source link

Closed hanssv closed 2 weeks ago

hanssv commented 1 month ago

The number of tvars is limited by serialization (u8) to 255 - shouldn't really be an issue for "normal" contracts 😅

Credit to @spiveeworks for finding this during the compiler rewrite work!

This PR is supported by Æternity Foundation