Added comments.

src/passes/01-parser/cameligo/AST.ml

@@ -400,6 +400,10 @@ and cond_expr = {
   ifnot    : expr
 }
 
+(* Code injection.  Note how the field [language] wraps a region in
+   another: the outermost region covers the header "[%<language>" and
+   the innermost covers the <language>. *)
+
 and code_inj = {
   language : string reg reg;
   code     : expr;

src/passes/01-parser/cameligo/Parser.mly

@@ -121,8 +121,7 @@ type_decl:
   "type" type_name "=" type_expr {
     Scoping.check_reserved_name $2;
     let region = cover $1 (type_expr_to_region $4) in
-    let value = {
+    let value  = {kwd_type  = $1;
-      kwd_type   = $1;
                   name      = $2;
                   eq        = $3;
                   type_expr = $4}

src/passes/01-parser/pascaligo/AST.ml

@@ -436,6 +436,10 @@ and for_collect = {
   block      : block reg
 }
 
+(* Code injection.  Note how the field [language] wraps a region in
+   another: the outermost region covers the header "[%<language>" and
+   the innermost covers the <language>. *)
+
 and code_inj = {
   language : string reg reg;
   code     : expr;