From 43193c887118418aaf065dbb6d2df3c41b4434e5 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Wed, 17 Jun 2015 21:14:51 -0400 Subject: [PATCH] typing: `or else` on null is no more an error A warning at most Signed-off-by: Jean Privat --- src/semantize/typing.nit | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/semantize/typing.nit b/src/semantize/typing.nit index b37e4a4..9724537 100644 --- a/src/semantize/typing.nit +++ b/src/semantize/typing.nit @@ -1304,7 +1304,8 @@ redef class AOrElseExpr end if t1 isa MNullType then - v.error(n_expr, "Type Error: `or else` on `null`.") + self.mtype = t2 + return else if v.check_can_be_null(n_expr, t1) then t1 = t1.as_notnull end -- 1.7.9.5