From 10feb2dc8ad775a64b6db4d19c76bd6fa38044a8 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Wed, 5 Nov 2025 12:07:48 +0100
Subject: fix resolution of free variables

---
 lambda-calcul/haskell/src/Minilang/Lambda.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lambda-calcul/haskell/src/Minilang/Lambda.hs')

diff --git a/lambda-calcul/haskell/src/Minilang/Lambda.hs b/lambda-calcul/haskell/src/Minilang/Lambda.hs
index 2372578..d223658 100644
--- a/lambda-calcul/haskell/src/Minilang/Lambda.hs
+++ b/lambda-calcul/haskell/src/Minilang/Lambda.hs
@@ -22,8 +22,8 @@ loadProgram language env context exprs =
   fmap (\(res, e, c) -> (reverse res, e, c)) result
   where
     result =
-      foldr
-        ( \expr acc ->
+      foldl
+        ( \acc expr ->
             case acc of
               Left typeError -> Left typeError
               Right (results, env', context') ->
-- 
cgit v1.3.1