From c74809cc73e4f683a1698f6e59c09e3aff9df8f4 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Sun, 5 Nov 2023 00:52:33 +0100 Subject: [PATCH] fmt --- flap/src/hopix/hopixInterpreter.ml | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/flap/src/hopix/hopixInterpreter.ml b/flap/src/hopix/hopixInterpreter.ml index b0588f0..e88e513 100644 --- a/flap/src/hopix/hopixInterpreter.ml +++ b/flap/src/hopix/hopixInterpreter.ml @@ -381,10 +381,12 @@ and expression _pos environment _memory = function | Field _ -> (* TODO *) failwith "Students! This is your job (Field)!" - | Tuple([]) -> (* Cas pour le Tuple vide *) - VUnit (* Un tuple vide ne contient rien (logique), donc on utilise un VUnit*) - | Tuple(list_exp) -> - VTuple(List.map (expression' environment _memory) list_exp) + | Tuple [] -> + (* Cas pour le Tuple vide *) + VUnit + | Tuple list_exp -> + (* Un tuple vide ne contient rien (logique), donc on utilise un VUnit*) + VTuple (List.map (expression' environment _memory) list_exp) | Sequence _ -> (* TODO *) failwith "Students! This is your job (Sequence)!" @@ -399,7 +401,7 @@ and expression _pos environment _memory = function failwith "Students! This is your job (Apply)!" | Ref ref -> let dref = expression' environment _memory ref in - VLocation(Memory.allocate _memory Mint.one dref) + VLocation (Memory.allocate _memory Mint.one dref) | Assign _ -> (* TODO *) failwith "Students! This is your job (Assign)!"