fmt
This commit is contained in:
parent
7842d4dc14
commit
c74809cc73
1 changed files with 7 additions and 5 deletions
|
@ -381,10 +381,12 @@ and expression _pos environment _memory = function
|
||||||
| Field _ ->
|
| Field _ ->
|
||||||
(* TODO *)
|
(* TODO *)
|
||||||
failwith "Students! This is your job (Field)!"
|
failwith "Students! This is your job (Field)!"
|
||||||
| Tuple([]) -> (* Cas pour le Tuple vide *)
|
| Tuple [] ->
|
||||||
VUnit (* Un tuple vide ne contient rien (logique), donc on utilise un VUnit*)
|
(* Cas pour le Tuple vide *)
|
||||||
| Tuple(list_exp) ->
|
VUnit
|
||||||
VTuple(List.map (expression' environment _memory) list_exp)
|
| Tuple list_exp ->
|
||||||
|
(* Un tuple vide ne contient rien (logique), donc on utilise un VUnit*)
|
||||||
|
VTuple (List.map (expression' environment _memory) list_exp)
|
||||||
| Sequence _ ->
|
| Sequence _ ->
|
||||||
(* TODO *)
|
(* TODO *)
|
||||||
failwith "Students! This is your job (Sequence)!"
|
failwith "Students! This is your job (Sequence)!"
|
||||||
|
@ -399,7 +401,7 @@ and expression _pos environment _memory = function
|
||||||
failwith "Students! This is your job (Apply)!"
|
failwith "Students! This is your job (Apply)!"
|
||||||
| Ref ref ->
|
| Ref ref ->
|
||||||
let dref = expression' environment _memory ref in
|
let dref = expression' environment _memory ref in
|
||||||
VLocation(Memory.allocate _memory Mint.one dref)
|
VLocation (Memory.allocate _memory Mint.one dref)
|
||||||
| Assign _ ->
|
| Assign _ ->
|
||||||
(* TODO *)
|
(* TODO *)
|
||||||
failwith "Students! This is your job (Assign)!"
|
failwith "Students! This is your job (Assign)!"
|
||||||
|
|
Reference in a new issue