We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent eee3005 commit 0f30adbCopy full SHA for 0f30adb
document/core/appendix/algorithm.rst
@@ -67,7 +67,7 @@ Equivalence and subtyping checks can be defined on these types.
67
func matches(t1 : val_type, t2 : val_type) : bool =
68
return
69
(is_num t1 && is_num t2 && t1 = t2) ||
70
- (is_vec t1 && is_vec t2 && t1 == t2) ||
+ (is_vec t1 && is_vec t2 && t1 = t2) ||
71
(is_ref t1 && is_ref t2 && matches_ref(t1, t2)) ||
72
t1 = Bot
73
0 commit comments