Unverified Commit 529bd588 authored by Hero Bird's avatar Hero Bird Committed by GitHub
Browse files

Finalize ink! 3.0 integration (#493)

* [lang/codegen] initial impl of the new ink! codegen

This new codegen is based on the (also) new ink! IR.

* [lang/macro] apply rustfmt to imports

* [lang/codegen] apply rustfmt

* [lang/ir] add ItemMod::{attrs, vis} getters

* [lang/codegen] make use of ir::ItemMod::{attrs, vis} in codegen

* [lang/codegen] restructure ink_lang_codegen library

* [lang/codegen] appliy clippy suggestion

* [lang/ir] add Event::attrs() and ToTokens impl for EventField

* [lang/codegen] apply rustfmt

* [lang/codegen] implement Event code generator

* [lang/codegen] make use of the new Events code generator

* [lang/ir] make ir::Callable always Copy and Clone

* [lang/ir] rename CallableWithSelector::item -> callable

* [lang/ir] add Callable::kind() trait method

* [lang/codegen] add dispatch enum code generation

* [lang/codegen] enable dispatch code generator

* [lang/codegen] add generation for constructor dispatch enum

* [lang/codegen] implement contract entry points

* [lang/codegen] implement code generation for DispatchUsingMode impl

* [lang/codegen] add trait impl namespaces Msg<S> and Constr<S>

* [lang/ir] add ir::Message::inputs_span() getter

* [lang/codegen] add codegen for dispatch trait impls for ink! messages

* [lang/codegen] plug-in dispatch trait impls code gen

* [lang/ir] add Callable::inputs_span trait method

* [lang/codegen] implement dispatch trait impl codegen for ink! constructors

Also this implementation avoids a lot of code duplication with the similar code generation for dispatch trait impl of ink! messages.

* [lang/codegen] make generate_input_bindings doc tests pass

* [lang/ir] apply rustfmt

* [lang/codegen] fix message and constructor namespaces

* [lang/ir] add {Message, Constructor}::attrs getter

* [lang/codegen] implement codegen for ink! ItemImpls

* [lang/codegen] remove some unneeded imports for ItemImpl codegen

* [lang/codegen] automatically import ink_lang's Env, EmitEvent and StaticEnv traits

* [lang/codegen] do not generate for ink-as-dependency

* [lang/codegen] initial impl for cross-calling codegen

Not complete, yet. Also we stubled upon the fact that due to the
additional Rust trait support we have to completely change how we
generate code for cross-calling. Research!

* [core] rename utils.rs -> selector.rs

* [core] add common mod for common abstractions for call and create

* [core] improve ExecutionInput: add useful trait impls

* [core] refactor call builder

* [core] adjust rest of ink_core to changed imports

* [core] implement new CreateBuilder

* [core] remove old InstantiateBuilder

* [core] remove no longer needed traits

* [core] add eval,invoke,eval_params,invoke_params to CallBuilder

This makes both CallBuilder and CreateBuilder more similar to each other.

* [core] apply rustfmt

* [core] adjust environment to new CreateBuilder

* [core] apply rustfmt

* [core] move eval and invoke to CallParams

* [core] adjust on-chain impl for CallBuilder

* [core] add explanation for the cfg

* [core] move instantiate to CreateParams

* [core] make CreateParams getters crate private

* [core] rename Call -> CallParams

* [core] improve doc comment

* [lang] adjust lang for new call and create builders

* [core] expose builder construction through build_call and build_create

* [core] remove Default impl for empty ExecutionInput

* [core] add usage examples to build_call

* [core] improve usage doc example of build_call

* [core] improve doc tests for build_call

* [core] add doc test example to build_create

* [core] fix compilation after merge

* [metadata] make constuctor and message name an array and add is_payable

Only messages need is_payable field since constructors must always be payable.

* [lang/codegen] add metadata code generation

* [lang/ir] implement lint to ensure there are no __ink_ prefixed identifiers

Identifiers starting with __ink_ may only be used by the ink! codegen.
So far this has been only implemented on TokenTree or TokenStream level and not on parsed syn abstractions leading to arcane errors. E.g. it was possible to catch errors if an __ink_ substring appeared in a string literal before.

* [metadata] make serialized Layout fields camelCase

* [lang/ir, lang/macro] apply rustfmt

* [lang/ir] initial implementation of #[ink::trait_definition] proc. macro

* [lang/ir] re-export InkTrait

* [lang/macro] create new proc. macro for ink! trait definitions

* [lang/ir] improve error messages of #[ink::trat_definition] a bit

* [lang/ir] add many more unit tests

* [lang/ir] apply rustfmt

* [lang/ir] fixed spelling bug

* [lang/ir] fix handling or errorneous Self receiver in ink! constructors

* [lang/ir] add bunch of new unit tests for #[ink::trait_definition] proc. macro

* [lang/ir] add some more unit tests

* [lang/ir] implement checks for invalid ink! attributes

* [lang/ir] add unit tests for invalid ink! attributes

* [lang/ir] use syn's builtin receiver getter

* [lang/ir] add iterators for ink! trait definition

* [lang/ir] add getters for generic info of ink! trait definition

* [lang/ir] fix a unit test testing too much

* [lang/ir] deny ink! trait definitions with supertraits

We might add support for supertraits in future versions.

* [lang/ir] add verify_hash functions

* [lang/ir] simplify ink! trait verification hash

There now is only a single hash instead of a hash per constructor and message.

* [lang/ir] add InkTrait::attrs() getter

* [lang/ir] add re-exports for most InkTrait types

* [lang/codegen] initial implementation of #[ink::trait_definition] codegen

Does not yet include the verification hash generation.

* [lang/codegen] refine codegen for ink! trait definitions

* [lang, lang/codegen] use correct trait for ink! trait definition checking

* [lang/codegen] rework crate exposed API

* [lang/ir] fix return value of ir::InkTrait::new

* [lang/macro] update codegen driver for ink! trait definition

* [core, lang/codegen, lang/ir, metadata] apply clippy suggestions

* [lang/codegen, lang/ir, lang/macro, lang] apply rustfmt

* [lang/macro] add ink_lang_codegen dependency

Needed for #[ink::trait_definition] proc. macro.

* [core/derive] use _ as const name instead of generated one

* [lang/codegen] prefix {Constructo,Message}DispatchEnum ident with __ink_

* [lang/codegen] use payable instead of is_payable

* [lang/codegen] hide some generated types

* [lang/ir] improve error span of bad storage struct visibility

* [core] add CallBuilder::returns to signal return type

Also this adds CallBuilder::fire as a quick way to fire off the call.
The CallBuilder::invoke_params and CallBuilder::eval_params are no longer needed and thus removed.

* [lang/ir] implement ToTokens for ir::Receiver

* [lang/codegen] apply #[doc(hidden)] to generated call forwarders

* [lang/codegen] slightly clean-up code

* [lang/codegen] use new call infrastructure for call forwarders

* [lang/codegen] add codegen for short-hand cross-contract message calls

* [lang/codegen] add #[inline] to generated short-hand message calls

* [lang/codegen] improve short-hand call error message

* [lang/codegen] do not generate conflicting impls

* [lang/codegen] generate non-ink! specific user defined items

* [lang/ir] remove some commented out code

* [core, lang/ir] apply rustfmt

* [core] add CreateBuilder::instantiate

* [lang/codegen] fix generate_arg_list

* [lang/codegen] add cross-calling codegen for non-trait constructor impls

* [lang/codegen] add an associated type per trait constructor in ink! trait definition

* [lang/codegen] remove former Output associated type in ink! trait definition

* [lang] re-export trait_definiction proc. macro from ink_lang crate

* [lang/ir] expose InkTrait::compute_verify_hash

* [lang/ir] add ir::ItemImpl::trait_ident

* [lang/codegen] fix some bugs with trait_definition codegen

* [lang/codegen] add codegen for cross-calling ink! trait implementations

* [lang/codegen] surpress warning in generated code

* [lang/codegen] fix bug in generated trait constructors

* [lang/codegen] add codegen for trait implementation blocks

* [lang/ir] allow access to parent impl block from within a CallableWithSelector

* [lang/codegen] make dispatch trait impls more explicit for trait impls

* [lang/codegen] fix and fully implement cross-calling (trait) impl blocks

Works now for both trait impl blocks as well as inherent impl blocks.
Only missing piece now is the codegen for the call forwarders and their impl blocks.

* [lang/ir] add ir::ItemImpl::attrs getter

* [lang/codegen] add codegen for impl block attributes for cross-calling

* [lang/codegen] correctly re-generate attributes for impl blocks

* [lang/codegen] generate forwarder inherent impl blocks

* [lang, lang/codegen] adjust ink::trait_definition proc. macro codegen

Now it also generates an associated return type per message.
Those have to respect the ink_lang::ImpliesReturn trait.

* [lang/codegen] add cross-calling call forwarder codegen for trait impl blocks

* [lang] add NeverReturns utility codegen type

* [lang/codegen] implement codegen for cross-calling trait impl blocks

* [*] apply rustfmt

* [lang/codegen] apply some clippy suggestions

* [lang/macro] make use of new ink! 3.0 codegen

* [examples] adjust Flipper example to ink! 3.0

* [examples] add trait based Flipper example

* [examples] adjust Delegator example to ink! 3.0

* [lang/codegen] always use std feature for itertools dependency

Otherwise codegen won't work for Wasm32 compilations.

* [examples] adjusted Incrementer to the new ink! 3.0 codegen

* [lang/ir] fix error span for bad event visibility modifier

* [lang/ir, lang/codegen] fix event fields codegen

* [lang/codegen] fix incorrectly generated EmitEvent trait impl

* [lang/codegen] fix bugs with ink-as-dependency and event usage

* [examples] adjust Erc20 contract to ink! 3.0 syntax

* [examples] fix Erc20 unit tests

* [lang, lang/codegen] add ContractEnv trait

Used to query EnvTypes trait impl using the ink! storage struct.

* [lang, lang/codegen] implement payable messages and dynamic storage alloc

Now it is possible to control whether to use the dynamic storage allocator provided by ink! in ink! itself.
Also this PR implements codegen for non-payable messages.

* [lang/macro, lang/codegen] apply rustfmt

# Conflicts:
#	lang/macro/src/lib.rs

* [lang/ir] error upon payable constructor

ink! constructors are payable by default.

* [core] remove EnvTypes::Call associated type

No longer needed since we just removed the ability to directly call the runtime.

* [core] add MAX_EVENT_TOPICS to EnvTypes trait

* [lang, lang/codegen] optimize message payment checks codegen

* [lang/ir, lang/codegen] dynamic storage allocator: rename + change default

New default is set to "false" so only contracts that actually use this feature need to specify it.
Also renamed to dynamic_storage_allocator to better carry intention.

* [lang, lang/codegen] add codegen to guard against too many event topics

* [lang/ir] apply rustfmt

* [lang/codegen] pull topic guards codegen out of topics impl codegen const

* [lang/codegen] split event topic guards into their own method

* [lang] remove duplicate re-exports

* [lang/codegen] improve error message for events with too many topics

* [core/derive] explicitly use synstructure 0.12.4

* [examples] update DNS contract example to ink! 3.0 syntax

* [examples] update ERC-721 contract example to ink! 3.0 syntax

* [examples] update multisig_plain example contract to ink! 3.0

The most work was to update the new call builders.

* [lang/ir] improve error message for bad visibility of ink! callables

* [*] update all ink! versions: 2.1.0 -> 3.0.0

* [lang/ir, lang/codegen] port InkTest proc. macro impl to new facilities

* [lang/ir] make __ink_ ident prefix check more general

* [lang/ir] make use of __ink_ idents check in other proc. macro impls

* [*] apply rustfmt

* [examples] apply rustfmt

* [lang] integrate ported #[ink::test] proc. macro

* [lang/macro] remove old proc. macro facilities

* [lang/macro] fix all passing UI tests

* [lang/ir] implement check to guard against Self return in ink! messages

* [lang/codegen] implement check to guard against non ink! storage ink! impls

This works even in precense of type aliases.

* [lang] add re-export for static_assertions

* [lang/macro] update all ink! UI failure tests

* [lang/ir] apply rustfmt

* [lang/codegen] remove commented-out code

* [lang/codegen] allow clippy::type_complexity in some cross-calling sites

* [*] remove Cargo.lock.old ... oupsi

* [examples] fix incorrected doc comments

* [metadata] remove unnecessary serde field attribute

* [metadata] rename module layout2 -> layout

* [core] rename module storage2 -> storage

* [core] apply rustfmt
parent 5d7d855c
Pipeline #108924 passed with stages
in 6 minutes and 51 seconds