Support for list literals in Lambdas

2025-02-02 12:08:01 -06:00
parent f9864b8361
commit f4e50353ed
3 changed files with 8 additions and 1 deletions
--- a/src/Eval.hs
+++ b/src/Eval.hs
@ -75,6 +75,9 @@ elimLambda = go
    go (SLambda [f] (SLambda [g] (SLambda [x] body)))
      | body == SApp (SVar f) (SApp (SVar g) (SVar x)) = _B
    -- General elimination
+    go (SLambda [v] (SList xs))
+      = elimLambda (SLambda [v] (foldr wrapTLeaf TLeaf xs))
+        where wrapTLeaf m r = SApp (SApp TLeaf m) r
    go (SLambda (v:vs) body)
      | null vs                    = toSKI v (elimLambda body)
      | otherwise                  = elimLambda (SLambda [v] (SLambda vs body))