Ported to constant declaration the work done for variable declarations.

That is to say, now constants can include unannotated empty lists etc.

Parser.mly

@@ -13,8 +13,8 @@ open AST
 
 (* Entry points *)
 
-%start program interactive_expr
+%start contract interactive_expr
-%type <AST.t> program
+%type <AST.t> contract
 %type <AST.expr> interactive_expr
 
 %%
@@ -129,7 +129,7 @@ sepseq(X,Sep):
 
 (* Main *)
 
-program:
+contract:
   nseq(declaration) EOF {
     {decl = $1; eof = $2}
   }
@@ -358,40 +358,21 @@ local_decl:
 | const_decl  { LocalConst $1 }
 | var_decl    { LocalVar   $1 }
 
-const_decl:
+unqualified_decl:
-  Const var COLON type_expr EQUAL expr option(SEMI) {
+  var COLON type_expr EQUAL extended_expr option(SEMI) {
-    let stop =
+    let stop = match $6 with
-      match $7 with
+                 Some region -> region
-        Some region -> region
+               |        None -> $5.region in
-      |        None -> expr_to_region $6 in
-    let region = cover $1 stop in
-    let value  = {
-      kwd_const  = $1;
-      name       = $2;
-      colon      = $3;
-      const_type = $4;
-      equal      = $5;
-      init       = $6;
-      terminator = $7}
-    in {region; value}
-  }
-
-var_decl:
-  Var var COLON type_expr ASS extended_expr option(SEMI) {
-    let stop   = match $7 with
-                   Some region -> region
-                 |        None -> $6.region in
-    let region = cover $1 stop in
     let init =
-      match $6.value with
+      match $5.value with
         `Expr e -> e
       | `EList (lbracket, rbracket) ->
-           let region = $6.region
+           let region = $5.region
            and value = {
              lbracket;
              rbracket;
              colon = Region.ghost;
-             list_type = $4} in
+             list_type = $3} in
            let value = {
              lpar   = Region.ghost;
              inside = value;
@@ -403,19 +384,43 @@ var_decl:
              inside = {
                c_None   = region;
                colon    = Region.ghost;
-               opt_type = $4};
+               opt_type = $3};
              rpar = Region.ghost}
-           in ConstrExpr (NoneExpr {region; value}) in
+           in ConstrExpr (NoneExpr {region; value})
-    (*      | `EMap inj ->*)
+(*      | `EMap inj ->
+           MapExpr ( ) *)
+    in $1, $2, $3, $4, init, $6, stop
+  }
 
+const_decl:
+  Const unqualified_decl {
+    let name, colon, const_type, equal,
+        init, terminator, stop = $2 in
+    let region = cover $1 stop in
     let value = {
-      kwd_var    = $1;
+      kwd_const = $1;
-      name       = $2;
+      name;
-      colon      = $3;
+      colon;
-      var_type   = $4;
+      const_type;
-      assign     = $5;
+      equal;
       init;
-      terminator = $7}
+      terminator}
+    in {region; value}
+  }
+
+var_decl:
+  Var unqualified_decl {
+    let name, colon, var_type, assign,
+        init, terminator, stop = $2 in
+    let region = cover $1 stop in
+    let value = {
+      kwd_var = $1;
+      name;
+      colon;
+      var_type;
+      assign;
+      init;
+      terminator}
     in {region; value}
   }
 

ParserMain.ml

@@ -85,7 +85,7 @@ let tokeniser = read ~log
 
 let () =
   try
-    let ast = Parser.program tokeniser buffer in
+    let ast = Parser.contract tokeniser buffer in
     if Utils.String.Set.mem "ast" EvalOpt.verbose
     then AST.print_tokens ast
   with

Tests/crowdfunding.ligo

@@ -6,6 +6,8 @@ type store is
     funded   : bool
   end
 
+const foo : store = map "X" -> 10; "Y" -> 11 end
+
 entrypoint contribute (storage store : store;
                        const sender  : address;
                        const amount  : mutez)