From 3cc88d0d81ef70fc953a0faee065281fc2d92a73 Mon Sep 17 00:00:00 2001
From: Benjamin Canou <benjamin@canou.fr>
Date: Sat, 14 Apr 2018 00:39:32 +0200
Subject: [PATCH] Docs: update Michelson spec to the new address type

---
 docs/whitedoc/michelson.rst              | 27 +++++++++++++++++++++---
 src/bin_client/test/contracts/forward.tz |  2 +-
 2 files changed, 25 insertions(+), 4 deletions(-)

diff --git a/docs/whitedoc/michelson.rst b/docs/whitedoc/michelson.rst
index 3cbd39ef6..9d9fdc8be 100644
--- a/docs/whitedoc/michelson.rst
+++ b/docs/whitedoc/michelson.rst
@@ -1252,6 +1252,8 @@ VI - Domain specific data types
 
 -  ``contract 'param``: A contract, with the type of its code.
 
+-  ``address``: An untyped contract address.
+
 -  ``operation``: An internal operation emitted by a contract.
 
 -  ``key``: A public cryptography key.
@@ -1439,12 +1441,31 @@ contract, unit for an account.
 
     :: 'S   ->   tez : 'S
 
--  ``SOURCE 'p``: Push the source contract of the current
+-  ``ADDRESS``: Push the untyped version of a contract.
+
+::
+
+    :: contract _ : 'S   ->   address : 'S
+
+-  ``CONTRACT 'p``: Push the untyped version of a contract.
+
+::
+
+    :: address : 'S   ->   contract 'p : 'S
+
+    > CONTRACT / addr : S  =>  Some addr : S
+        iff addr exists and is a contract of parameter type 'p
+    > CONTRACT / addr : S  =>  Some addr : S
+        iff 'p = unit and addr is an implicit contract
+    > CONTRACT / addr : S  =>  None : S
+        otherwise
+
+-  ``SOURCE``: Push the source contract of the current
    transaction.
 
 ::
 
-    :: 'S   ->   contract 'p : 'S
+    :: 'S   ->   address : 'S
 
 -  ``SELF``: Push the current contract.
 
@@ -2327,7 +2348,7 @@ The complete source ``forward.tz`` is:
                                  IF { # Between T + 24 and T + 48
                                       # We accept only delivery notifications, from W
                                       DUP ; CDDDDDR ; MANAGER ; # W
-                                      SOURCE unit ; MANAGER ;
+                                      SOURCE ; MANAGER ;
                                       COMPARE ; NEQ ;
                                       IF { FAIL } {} ; # fail if not the warehouse
                                       DUP ; CAR ; # we must receive (Right amount)
diff --git a/src/bin_client/test/contracts/forward.tz b/src/bin_client/test/contracts/forward.tz
index 68be824c5..c93f3b694 100644
--- a/src/bin_client/test/contracts/forward.tz
+++ b/src/bin_client/test/contracts/forward.tz
@@ -112,7 +112,7 @@ code
                              IF { # Between T + 24 and T + 48
                                   # We accept only delivery notifications, from W
                                   DUP ; CDDDDDR ; MANAGER ; # W
-                                  SOURCE unit ; MANAGER ;
+                                  SOURCE ; MANAGER ; IF_NONE { FAIL } {} ;
                                   COMPARE ; NEQ ;
                                   IF { FAIL } {} ; # fail if not the warehouse
                                   DUP ; CAR ; # we must receive (Right amount)