Ocaml match with

Plz i need help here :

i need code ocaml for this algorithme :

C::=Skip
| c1;c2
| x:=e avec e in ExpA
| if b then c1 else c2. avec b in ExpB
|while b then c avec b in ExpB
|case x of
v1:c1 ;
v2:c2;
v3:c3 ;

vn:cn
else c avec vi des entiers

This seems to be a language definition, do you need to write an interpreter for it?

yes please , and yeah its a language definition

I thing the goal of this forum isn’t to write homework for students. Anyway, this resource can help you doing your task https://dokuwiki.unica.it/doku.php?id=imp-interpreter

3 Likes