check

IUCompilerCourse · Nov 22, 2024 · 9c18ee2 · 9c18ee2
1 parent d593d44
commit 9c18ee2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/type-check-Lvec.rkt b/type-check-Lvec.rkt
@@ -24,6 +24,8 @@
       (debug 'type-equal? "lenient" t1 t2)
       (match* (t1 t2)
         [(`(Vector ,ts1 ...) `(Vector ,ts2 ...))
+         ;; We can't require equal lengths because lambda closures
+         ;; need vector subtyping. -Jeremy
          ;; We need to change the uses of type-equal? into subtyping
          ;; because the check for Vector types is not symmetric. -Jeremy
          (and (>= (length ts1) (length ts2))