X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_7_hint_3.mdwn;h=0914b79d3c2bd6e2361aa80e45b0850027889b16;hp=bbdea69404d0b7f79861a29f718082692a35da81;hb=26574827b88c32f00baaf941c4eac1aaebac839d;hpb=c0d0fef36aacfcb9e66c43b39281491f44757850 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).