|
|
@@ -8638,7 +8638,7 @@ Note that in both \key{inject} and
|
|
|
which simplifies the implementation and corresponds with what is
|
|
|
needed for compiling untyped Racket. The type predicates,
|
|
|
$(\key{boolean?}\,e)$ etc., expect a tagged value and return \key{\#t}
|
|
|
-if the tag corresponds to the predicate, and return \key{\#t}
|
|
|
+if the tag corresponds to the predicate, and return \key{\#f}
|
|
|
otherwise.
|
|
|
%
|
|
|
Selections from the type checker for $R_6$ are shown in
|
Jeremy Siek