argotorg / argotorg/solcore

Assembly builtins share the namespace with solc symbols

Open
#426 0 comments 1 reaction 1 assignee Claimed by @rodrigogribeiro View on GitHub
Dominant language
Haskell
Stars
113
Forks
9
Avg merge
4d 9h
Merged PRs (30d)
1

Description

```
function keccak256(input: memory(bytes)) -> bytes32 {
let ptr : word = Typedef.rep(input);
let res : word;
assembly {
res := keccak256(add(ptr, 32), mload(ptr))
}
return bytes32(res);
}
```

Results in:
```
Type error:
Arity mismatch in call to keccak256
expected 1 argument(s)
found 2

Error: yule generation failed
```

So assembly builtins/functions are in the same namespace as solc symbols? Yet they are not accessible there (and only local solc non-functions are available in yul), so I would assume this should not be the case (and is not in solidity). I'd argue that may not be optimal.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.