Support default entrypoint
Description
We have some issues with current version of tezos_example
contracts. One of them is counted as being ill-typed, though it is fine if typecheked by tezos-client
We should resolve this problem. The included file contains contracts that we can't parse self_with_default_entrypoint.tz
Steps to reproduce
morley typecheck --contract self_with_default_entrypoint.tz should work on this contract
Expected behaviour
contract is well-typed
Actual behaviour
contract is ill-typed
Environment
- Current
tezos-example
are inPruStephan/#274-update-tezos-examples
branch
Edited by Stepan Prudnikov