Browse Source

allow Arity 2..4 for Global.All

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@6549 8c9fc860-2736-0410-a75d-ab315db34111
eth.hunzikerp 9 năm trước cách đây
mục cha
commit
df972e6e95
1 tập tin đã thay đổi với 1 bổ sung1 xóa
  1. 1 1
      source/FoxSemanticChecker.Mod

+ 1 - 1
source/FoxSemanticChecker.Mod

@@ -5840,7 +5840,7 @@ TYPE
 				ELSIF (id = Global.Sum) & CheckArity(1,2) THEN (* can only be found by overloading *)
 					Error(position, Diagnostics.Invalid, "sum operator not applicable");
 				(* ---- ALL ----- *)
-				ELSIF (id = Global.All) & CheckArity(2,3) THEN (* can only be found by overloading *)
+				ELSIF (id = Global.All) & CheckArity(2,4) THEN (* can only be found by overloading *)
 					Error(position, Diagnostics.Invalid, "all operator not applicable");
 				(* ---- DIM ----- *)
 				ELSIF (id = Global.Dim) & CheckArity(1,1) THEN