From 2b98fd640786620cf83c0759344514a96bd41a13 Mon Sep 17 00:00:00 2001
From: Mysaa <samy.avrillon@ens-lyon.fr>
Date: Tue, 10 May 2022 14:23:38 +0200
Subject: [PATCH] Correction du typage de ExFalso.

---
 pieuvre.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pieuvre.ml b/pieuvre.ml
index 08fe688..2d62ce3 100644
--- a/pieuvre.ml
+++ b/pieuvre.ml
@@ -137,9 +137,9 @@ let rec computeType (env: gam) (l: lam) : ty option =
         | [] -> None
         end
     | LExf(l',t) ->
-        if (computeType env l')=Some t
-        then Some t
-        else None (* Le ex falso a le mauvais type *)
+        match (computeType env l') with
+        | Some TFalse -> Some t (* On applique le ExFalso *)
+        | _ -> None (* Le ex falso a le mauvais type *)
 ;;
 
 (* Vérifie que le λ-terme l sous l'environnement env a bien le type t *)