week9 tweak =/==

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

diff --git a/week9.mdwn b/week9.mdwn
index a738524..65c1084 100644 (file)
--- a/week9.mdwn
+++ b/week9.mdwn
@@ -628,10 +628,10 @@ Programming languages tend to provide a bunch of mutation-related capabilities a
        Because of the particular way the numerical identity predicates are implemented in all of these languages, it doesn't quite match our conceptual expectations. For instance, For instance, if `ycell` is a reference cell, then `ref !ycell` will always be a numerically distinct reference cell containing the same value. We get this pattern of comparisons in OCaml:
 
                ycell == ycell
        Because of the particular way the numerical identity predicates are implemented in all of these languages, it doesn't quite match our conceptual expectations. For instance, For instance, if `ycell` is a reference cell, then `ref !ycell` will always be a numerically distinct reference cell containing the same value. We get this pattern of comparisons in OCaml:
 
                ycell == ycell

-               ycell != ref !ycell (* these aren't numerically identical *)
+               ycell != ref !ycell (* true, these aren't numerically identical *)

 
                ycell = ycell
 
                ycell = ycell

-               ycell = ref !ycell (* they are qualitatively indiscernible *)
+               ycell = ref !ycell (* true, they are qualitatively indiscernible *)

 
        But now what about?
 
 
        But now what about?