Prohibit more operations in views
Clarification and motivation
As per jakarta's changelog for Michelson:
Some operations are now forbidden in views:
CREATE_CONTRACT
,SET_DELEGATE
andTRANSFER_TOKENS
cannot be used at the top-level of a view because they are stateful, andSELF
because the entry-point does not make sense in a view. However,CREATE_CONTRACT
,SET_DELEGATE
andTRANSFER_TOKENS
remain available in lambdas defined inside a view. (MR !3737)
We want to do the same and prohibit these instructions from appearing in view
s in morley
as well.
Note: since this is a breaking change the MR for this should target the jakarta
branch until the protocol is activated on mainnet.*
Acceptance criteria
The instructions mentioned above are no longer accepted in view
s