CS project

I have a basic example compiler and interpreter written in OCaml. It compiles a simple imperative language with arrays and loops into x86-64 assembly code, and I need to implement a parallel assignment feature. explained below: Add a new kind of statement whose syntax is as follows identifiers ::= | identifier | identifier identifiers atomic_exps ::= | atomic_exp | atomic_exp atomic_exps stmt ::= ... | parallel identifiers := atomic_exps This will require modifying the lexer with the new keyword parallel, and also extending the abstract syntax and parser for the new non-terminals and statement form. The type checker should be extended to check parallel assignments: the number of identifiers must be the same as the number of atomic expressions, and each identifier should have the same type as its corresponding expression. To update the compiler (if this is your choice), you should add a new compilation pass that runs immediately after type checking and converts each parallel statement into a sequence of normal assignments. To update the interpreter (if this is your choice), the interp_stmt function will need to be extended with an extra case for parallel. The semantics of parallel assignment is that each variable is assigned the value of the corresponding expression, and that all of the assignments happen at the same time, after the expressions are evaluated. For example, after running the following statements, the value in x is 301, in y is 21, and in z is 2. x := 1 y := 20 z := 300 parallel x y z := (z + 1) (y + 1) (x + 1)