From 18c724071d2436917364ba34a05e64d2b5ffaae9 Mon Sep 17 00:00:00 2001
From: Alex Hirsch <w4rh4wk@bluephoenix.at>
Date: Tue, 28 Apr 2020 18:13:56 +0200
Subject: [PATCH] Clarify array type checking, no out-of-bounds analysis

---
 specification.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/specification.md b/specification.md
index 0519bb1..c4f9690 100644
--- a/specification.md
+++ b/specification.md
@@ -358,8 +358,8 @@ As the parser only does syntactic checking, additional semantic checks are imple
 - Checking that all execution paths of a non-void function return a value
     - You may assume that there is no dead code
 - Type checking (remember, neither implicit nor explicit type conversions)
-    - Includes checking operations on arrays (including array size)
     - Includes checking arguments and return types for call expressions
+    - Don't forget that an array's type includes its size
 
 Semantic checking may stop on the first error encountered.