Add changes from today

Signed-off-by: Itay Dafna <i.b.dafna@gmail.com>

compiler/src/parsing/ast_helper.re

@@ -235,6 +235,8 @@ module Exp = {
  mk(~loc?, ~attributes?, PExpLambda(a, b));
  let apply = (~loc=?, ~attributes=?, a, b) =>
  mk(~loc?, ~attributes?, PExpApp(a, b));
+ let construct = (~loc=?, ~attributes=?, a, b) =>
+ mk(~loc?, ~attributes?, PExpConstruct(a, b));
  // It's difficult to parse rational numbers while division exists (in the
  // parser state where you've read NUMBER_INT and you're looking ahead at /,
  // you've got a shift/reduce conflict between reducing const -> NUMBER_INT

compiler/src/parsing/ast_helper.rei

@@ -201,6 +201,9 @@ module Exp: {
  let apply:
  (~loc: loc=?, ~attributes: attributes=?, expression, list(expression)) =>
  expression;
+ let construct:
+ (~loc: loc=?, ~attributes: attributes=?, id, list(expression)) =>
+ expression;
  let binop:
  (~loc: loc=?, ~attributes: attributes=?, expression, list(expression)) =>
  expression;

compiler/src/parsing/ast_mapper.re

@@ -136,6 +136,13 @@ module E = {
  sub.expr(sub, e),
  List.map(sub.expr(sub), el),
  )
+ | PExpConstruct(id, el) =>
+ construct(
+ ~loc,
+ ~attributes,
+ map_identifier(sub, id),
+ List.map(sub.expr(sub), el),
+ )
  | PExpBlock(el) => block(~loc, ~attributes, List.map(sub.expr(sub), el))
  | PExpNull => null(~loc, ~attributes, ())
  | PExpConstraint(e, t) =>

compiler/src/parsing/dune

@@ -2,7 +2,7 @@
 
 (menhir
  (modules parser)
- (flags --explain --unused-tokens --strict))
+ (flags --explain --unused-tokens))
 
 ;; The following two rules create a copy of the file parser.mly named
 ;; unitActionsParser.mly. This is a copy of the grammar where the semantic