From: Jean-Christophe Beaupré Date: Sun, 26 Mar 2017 02:43:13 +0000 (-0400) Subject: model: Add a constant for the bottom type X-Git-Url: http://nitlanguage.org model: Add a constant for the bottom type Signed-off-by: Jean-Christophe Beaupré --- diff --git a/src/model/model.nit b/src/model/model.nit index a7f570b..35910d3 100644 --- a/src/model/model.nit +++ b/src/model/model.nit @@ -103,6 +103,9 @@ redef class Model # The only null type var null_type = new MNullType(self) + # The only bottom type + var bottom_type: MBottomType = null_type.as_notnull + # Build an ordered tree with from `concerns` fun concerns_tree(mconcerns: Collection[MConcern]): ConcernsTree do var seen = new HashSet[MConcern] @@ -1811,7 +1814,7 @@ class MNullType redef fun c_name do return "null" redef fun as_nullable do return self - redef var as_notnull = new MBottomType(model) is lazy + redef var as_notnull: MBottomType = new MBottomType(model) is lazy redef fun need_anchor do return false redef fun resolve_for(mtype, anchor, mmodule, cleanup_virtual) do return self redef fun can_resolve_for(mtype, anchor, mmodule) do return true