search

aeternity / aesophia

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

Unify typesigs when implementing interface funs #469

Closed ghallak closed 1 year ago

ghallak commented 1 year ago

This PR should prevent this code from compiling

include "Frac.aes"

contract interface Interface =
 entrypoint example: (Frac.frac) => Frac.frac

main contract Example: Interface =
  entrypoint example(x : int): int = x