From be75f1425b0e11d2bbb7cb436ed9124d889dd004 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Sun, 12 Nov 2023 19:37:57 +0100 Subject: [PATCH] fmt --- flap/src/hopix/hopixInterpreter.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/flap/src/hopix/hopixInterpreter.ml b/flap/src/hopix/hopixInterpreter.ml index 38c8cc9..402236a 100644 --- a/flap/src/hopix/hopixInterpreter.ml +++ b/flap/src/hopix/hopixInterpreter.ml @@ -484,7 +484,7 @@ and boucle_for id borne_inf borne_sup expr3 environment memory = (* On lis l'identifier avec la borne inférieur *) Environment.bind environment id.value (int_as_value borne_inf) in - let calcul = expression' environment memory expr3 in + let _calcul = expression' environment memory expr3 in boucle_for id (Mint.add borne_inf Mint.one) borne_sup expr3 env' memory) else VUnit (* Cas où nous ne sommes plus dans la boucle, on renvoie un VUnit *) @@ -511,7 +511,7 @@ and while_value expr1 expr2 environment memory pos = (* On récupère la valeur de la condition *) match value_as_bool cond with | true -> - let expr' = expression' environment memory expr2 in + let _expr = expression' environment memory expr2 in expression pos environment memory (While (expr1, expr2)) | false -> VUnit @@ -538,12 +538,12 @@ and apply_expression f x environment memory = | VPrimitive (_, f) -> (* Fonction "primitive" *) f memory x_val - | VClosure (_env_fn, _pattern, _expr) -> - let valeur_pattern = _pattern.value in - let pat = pattern _env_fn valeur_pattern x_val in + | VClosure (env_fn, pattern', expr) -> + let valeur_pattern = pattern'.value in + let pat = pattern env_fn valeur_pattern x_val in (* Pattern va nous calculer un nouvelle environnement *) (match pat with - | Some env' -> expression' env' memory _expr + | Some env' -> expression' env' memory expr | None -> failwith "erreur") | _ -> assert false (* By typing *)