From 4c82a802fff2b9fe867c9444d11d44b6eda5c025 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Sun, 12 Apr 2015 00:06:45 +0700 Subject: [PATCH] typing: ensure monotony on literal arrays Signed-off-by: Jean Privat --- src/semantize/typing.nit | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/semantize/typing.nit b/src/semantize/typing.nit index 212f43e..ba08e4d 100644 --- a/src/semantize/typing.nit +++ b/src/semantize/typing.nit @@ -1334,6 +1334,8 @@ redef class AArrayExpr end end if mtype == null then + # Ensure monotony for type adaptation on loops + if self.element_mtype != null then mtypes.add self.element_mtype mtype = v.merge_types(self, mtypes) end if mtype == null or mtype isa MNullType then -- 1.7.9.5