From 677d5bbd54d54101e2855598db2aaae0d9ed6bad Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 21 Nov 2010 15:48:20 -0500 Subject: [PATCH] week9 tweak Signed-off-by: Jim Pryor --- week9.mdwn | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/week9.mdwn b/week9.mdwn index 7028e892..568fc812 100644 --- a/week9.mdwn +++ b/week9.mdwn @@ -304,6 +304,15 @@ For expressions we already know how to interpret, `s'` will usually just be `s`. eval expr2 ((c, value) :: g) s' ... +Similarly: + + ... + | Addition (expr1, expr2) -> + let (value1, s') = eval expr1 g s + in let (value2, s'') = eval expr2 g s' + in (value1 + value2, s'') + ... + Let's consider how to interpet our new syntactic forms `newref`, `deref`, and `setref`: -- 2.11.0