From a1e0b0e5071f851c865ae567de7a28014a1eafc4 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sun, 22 Mar 2026 16:05:42 +0100 Subject: Add strings handling --- lambda-calcul/haskell/src/Minilang/Lambda/Infer.hs | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'lambda-calcul/haskell/src/Minilang/Lambda/Infer.hs') diff --git a/lambda-calcul/haskell/src/Minilang/Lambda/Infer.hs b/lambda-calcul/haskell/src/Minilang/Lambda/Infer.hs index 2052398..9f0df35 100644 --- a/lambda-calcul/haskell/src/Minilang/Lambda/Infer.hs +++ b/lambda-calcul/haskell/src/Minilang/Lambda/Infer.hs @@ -30,9 +30,14 @@ render :: TypeError -> Text render (UnifyError ue) = Unify.render ue fromTerm :: Eval.Term -> ATerm () -fromTerm (Eval.Var x) = Var x () +fromTerm (Eval.Var x) = Var x () fromTerm (Eval.Lam x body) = Lam x (fromTerm body) () -fromTerm (Eval.App a b) = App (fromTerm a) (fromTerm b) () +fromTerm (Eval.App a b) = App (fromTerm a) (fromTerm b) () +-- Literal values (Num, Str) are treated as typed by a fresh variable; +-- the inferencer only needs to traverse the term structure, not inspect +-- literal payloads. +fromTerm (Eval.Num _) = Var "" () +fromTerm (Eval.Str _) = Var "" () infer :: Eval.Term -> Either TypeError Type infer t = do -- cgit v1.3.1