From 08439ee27125539e66cac4a6f2ddf6488878a601 Mon Sep 17 00:00:00 2001 From: JJ Date: Thu, 16 May 2024 20:27:10 -0700 Subject: docs: update highlighting --- docs/book/TYPES.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs/book/TYPES.html') diff --git a/docs/book/TYPES.html b/docs/book/TYPES.html index 5abe998..1054e03 100644 --- a/docs/book/TYPES.html +++ b/docs/book/TYPES.html @@ -395,15 +395,15 @@ func eval(context: mut HashTable[Ident, Value], expr: Expr): Result[Value] of Variable(ident) then context.get(ident).err("Variable not in context") of Application(body, arg) then - if body of Abstraction(param, body as inner_body): + if body of Abstraction(param, body as inner_body) then context.set(param, context.eval(arg)?) # from std.tables context.eval(inner_body) else Error("Expected Abstraction, found {}".fmt(body)) - of Conditional(condition, then_case, else_case): + of Conditional(condition, then_case, else_case) then if context.eval(condition)? == "true" then context.eval(then_case) - else: + else context.eval(else_case) of expr then Error("Invalid expression {}".fmt(expr)) -- cgit v1.2.3-70-g09d2