diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 12:07:48 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 12:07:48 +0100 |
| commit | 10feb2dc8ad775a64b6db4d19c76bd6fa38044a8 (patch) | |
| tree | 823892a835dc7884106c301cd47b83c16ff27356 /lambda-calcul/haskell/src/Minilang/Lambda.hs | |
| parent | 99e2ce71faa82e7b99574895e0fe24183ba9f6c3 (diff) | |
| download | lambda-nantes-10feb2dc8ad775a64b6db4d19c76bd6fa38044a8.tar.gz | |
fix resolution of free variables
Diffstat (limited to 'lambda-calcul/haskell/src/Minilang/Lambda.hs')
| -rw-r--r-- | lambda-calcul/haskell/src/Minilang/Lambda.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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') -> |