External call basic semantic checks

flintrocks / flint

The Flint Programming Language for Smart Contracts

MIT License

2 stars 0 forks source link

Closed ckamueller closed 5 years ago

ckamueller commented 5 years ago

[ ] Remove external calls from Statement
[ ] Ensure call is not used outside do-catch
[ ] Check matching return types for assignment assignment to call
[ ] Ensure assignment to call? gives a not-implemented error - awaiting optional types