X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=hints%2Fassignment_7_hint_3.mdwn;h=0914b79d3c2bd6e2361aa80e45b0850027889b16;hb=679852d7a5f67d6da3443b959acb1a41f3558c85;hp=bbdea69404d0b7f79861a29f718082692a35da81;hpb=692daef9334b86205cf1325951d162caf49a5bc3;p=lambda.git diff --git a/hints/assignment_7_hint_3.mdwn b/hints/assignment_7_hint_3.mdwn index bbdea694..0914b79d 100644 --- a/hints/assignment_7_hint_3.mdwn +++ b/hints/assignment_7_hint_3.mdwn @@ -40,7 +40,8 @@ It will be useful to have a shorthand way of referring to this operation: (* next we assign 'x' to location newindex *) in let r' = fun v -> if v = var_to_bind then newindex else r v - in (r',h') + (* the reason for returning true as an initial element will emerge later *) + in (true, r',h') * Is that enough? If not, here are some [more hints](/hints/assignment_7_hint_4).