// SPDX-License-Identifier: MIT

pragma solidity >=0.4.16;

import "./callable.sol";

contract Main {
    function main(Callable callable) public returns(uint) {
        return callable.f(5);
    }
}

// SPDX-License-Identifier: MIT

pragma solidity >=0.4.16;

contract Callable {
    function f(uint a) public pure returns(uint) {
        return a * 2;
    }
}

➜  revive git:(davidk/add-import-resolution-to-resolc) ✗ resolc ./test.sol
Warning: Function state mutability can be restricted to pure
 --> ./test.sol:8:5:
  |
8 |     function main(Callable callable) public returns(uint) {
  |     ^ (Relevant source part starts here and spans across multiple lines).


Compiler run successful. No output requested. Use --asm and --bin flags.