xo-expression xo-reader: type unifier + misc improvements

2025-07-26 17:28:41 -04:00 · 2025-07-26 17:28:41 -04:00 · 12f5362b4d
commit 12f5362b4d
parent 099cfa07c1
13 changed files with 144 additions and 34 deletions
--- a/src/reader/let1_xs.cpp
+++ b/src/reader/let1_xs.cpp
@ -141,6 +141,7 @@ namespace xo {
            rp<Expression> lambda
                = Lambda::make_from_env(lambda_name,
                                        local_env_,
+                                        nullptr /*explicit_return_td*/,
                                        expr);

            rp<Expression> result