Merge pull request #4074 from elopio/docs/implicit-constructor

docs: document the implicit call of base constructor without arguments

1 files changed, 6 insertions, 2 deletions

diff --git a/docs/contracts.rst b/docs/contracts.rst
index 9d47b543..3576cd7b 100644
--- a/docs/contracts.rst
+++ b/docs/contracts.rst
@@ -1030,8 +1030,9 @@ A constructor set as ``internal`` causes the contract to be marked as :ref:`abst
 Arguments for Base Constructors
 ===============================
 
-Derived contracts need to provide all arguments needed for
-the base constructors. This can be done in two ways::
+The constructors of all the base contracts will be called following the
+linearization rules explained below. If the base constructors have arguments,
+derived contracts need to specify all of them. This can be done in two ways::
 
     pragma solidity ^0.4.22;
 
@@ -1059,6 +1060,9 @@ derived contract. Arguments have to be given either in the
 inheritance list or in modifier-style in the derived constuctor.
 Specifying arguments in both places is an error.
 
+If a derived contract doesn't specify the arguments to all of its base
+contracts' constructors, it will be abstract.
+
 .. index:: ! inheritance;multiple, ! linearization, ! C3 linearization
 
 Multiple Inheritance and Linearization