Giters

ethereum / act

Smart contract specification language

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Error message about type mismatch

leonardoalt opened this issue · comments

commented 
constructor of AllEnvVars
interface constructor()

creates
    uint blockhash := BLOCKHASH

13:32 $ ./result/bin/act type --file tests/frontend/env/all_env_vars.act
Internal error
expected: int, got: bytes

The Act is indeed wrong, uint should be bytes32, but the message could be more detailed.

commented

This happens in general with other types too:

constructor of AllEnvVars
interface constructor()

creates
    bool nonce := NONCE

Internal error
expected: bool, got: int