summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
975ad30)
Signed-off-by: Jean Privat <jean@pryen.org>
end
end
if mtype == null then
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
mtype = v.merge_types(self, mtypes)
end
if mtype == null or mtype isa MNullType then