Update selfhost.lm

KajizukaTaichi · Jan 12, 2025 · 349bae7 · 349bae7
1 parent 77c5354
commit 349bae7
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/example/langs/selfhost.lm b/example/langs/selfhost.lm
@@ -7,9 +7,10 @@ let evalExpr = fn(e, x ->
             [scope, scope[ast.value]]
         },
         #Apply => {
-            let [[scope, a], [scope, b]] = map (evalExpr scope) ast.value;
-            let [funcScope, expr] = [scope, betaReduct a.value[0] b a.value[1]];
-            evalExpr funcScope expr
+            let [[scope, func], [scope, value]] = map (evalExpr scope) ast.value;
+            let [[arg, body], funcScope] = [func.value, scope];
+            let body = betaReduct(arg, value, body);
+            evalExpr funcScope body
         },
         #Add => {
             let [[scope, a], [scope, b]] = map (evalExpr scope) ast.value;
@@ -79,6 +80,10 @@ let parseExpr = fn(source ->
             let token = token - "λ" / ".";
             let [args, body] = [token[0], join token[1 ~ len(token)] "."];
             @{ "class": #Lambda, "value": [args, (parseExpr body)] } 
+        } else if (token[0] == "\\" & token["."]) {
+            let token = token - "\\" / ".";
+            let [args, body] = [token[0], join token[1 ~ len(token)] "."];
+            @{ "class": #Lambda, "value": [args, (parseExpr body)] } 
         } else {
            @{ "class": #Symbol, "value": token }
         }