From 82022acabbabc39f8346105e8e4d89afe6416873 Mon Sep 17 00:00:00 2001
From: Alain Mebsout <alainmebsout@gmail.com>
Date: Tue, 22 May 2018 12:15:34 +0200
Subject: [PATCH] Michelson: allow . in annotations

---
 .../test/contracts/weather_insurance.tz       |  2 +-
 src/lib_micheline/micheline_parser.ml         | 25 +++++++++++++------
 2 files changed, 18 insertions(+), 9 deletions(-)

diff --git a/src/bin_client/test/contracts/weather_insurance.tz b/src/bin_client/test/contracts/weather_insurance.tz
index 1d139dfb1..0782dc65e 100644
--- a/src/bin_client/test/contracts/weather_insurance.tz
+++ b/src/bin_client/test/contracts/weather_insurance.tz
@@ -13,6 +13,6 @@ code { DUP; DUP;
        DIP{CADR %actual_level};   # Get actual rain
        CDDAR %rain_level;         # Get rain threshold
        CMPLT; IF {CAR %under_key} {CDR %over_key};     # Select contract to receive tokens
-       BALANCE; UNIT ; TRANSFER_TOKENS @trans_op; # Setup and execute transfer
+       BALANCE; UNIT ; TRANSFER_TOKENS @trans.op; # Setup and execute transfer
        NIL operation ; SWAP ; CONS ;
        PAIR };
diff --git a/src/lib_micheline/micheline_parser.ml b/src/lib_micheline/micheline_parser.ml
index dab3d555b..c5d39417e 100644
--- a/src/lib_micheline/micheline_parser.ml
+++ b/src/lib_micheline/micheline_parser.ml
@@ -146,6 +146,14 @@ let tokenize source =
       Some (Uchar.to_char c)
     else
       None in
+  let allowed_ident_char c =
+    match uchar_to_char c with
+    | Some ('a'..'z' | 'A'..'Z' | '_' | '0'..'9') -> true
+    | Some _ | None -> false in
+  let allowed_annot_char c =
+    match uchar_to_char c with
+    | Some ('a'..'z' | 'A'..'Z' | '_' | '.' | '0'..'9') -> true
+    | Some _ | None -> false in
   let rec skip acc =
     match next () with
     | `End, _ -> List.rev acc
@@ -153,7 +161,7 @@ let tokenize source =
         begin match uchar_to_char c with
           | Some ('a'..'z' | 'A'..'Z') -> ident acc start (fun s _ -> Ident s)
           | Some ('@' | ':' | '$' | '&' | '%' | '!' | '?') ->
-              ident acc start
+              annot acc start
                 (fun str stop ->
                    if String.length str > max_annot_length
                    then errors := (Annotation_length { start ; stop }) :: !errors ;
@@ -290,23 +298,24 @@ let tokenize source =
             let byte = Uutf.decoder_byte_count decoder in
             let s = String.sub source stop.byte (byte - stop.byte) in
             string acc (s :: sacc) start
-  and ident acc start (ret : string -> point -> token_value) =
+  and generic_ident allow_char acc start (ret : string -> point -> token_value) =
     let tok stop =
       let name =
         String.sub source start.byte (stop.byte - start.byte) in
       tok start stop (ret name stop) in
     match next () with
     | (`Uchar c, stop) as charloc ->
-        begin match uchar_to_char c with
-          | Some ('a'..'z' | 'A'..'Z' | '_' | '0'..'9') ->
-              ident acc start ret
-          | Some _ | None ->
-              back charloc ;
-              skip (tok stop :: acc)
+        if allow_char c then
+          generic_ident allow_char acc start ret
+        else begin
+          back charloc ;
+          skip (tok stop :: acc)
         end
     | (_, stop) as other ->
         back other ;
         skip (tok stop :: acc)
+  and ident acc start ret = generic_ident allowed_ident_char acc start ret
+  and annot acc start ret = generic_ident allowed_annot_char acc start ret
   and comment acc start lvl =
     match next () with
     | `End, stop ->