projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
assignment7 tweaks
[lambda.git]
/
hints
/
assignment_7_hint_3.mdwn
diff --git
a/hints/assignment_7_hint_3.mdwn
b/hints/assignment_7_hint_3.mdwn
index
bbdea69
..
0914b79
100644
(file)
--- 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
(* 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).
* Is that enough? If not, here are some [more hints](/hints/assignment_7_hint_4).