Changeset 2304 for cobra/trunk/Source/Expr.cobra

Timestamp:

03/08/10 06:19:46 (2 years ago)

Author:

Chuck.Esterbrook

Message:

Code cleanup. In CobraType?.memberForName, assert that the type .didBindInh and .didBindInt. Also, create all nilable types through .typeProvider.nilableType(t) and cache.

Files:

• cobra/trunk/Source/Expr.cobra (modified) (1 diff)

cobra/trunk/Source/Expr.cobra

@@ -3039 +3039 @@
     def _bindImp
         base._bindImp
-        if _expr.type inherits NilableType
-            _type = _expr.type
-            .compiler.warning(this, 'The given expression is already nilable so "to ?" is redundant. You can remove it.')  # TODO: needs test case
-        else
-            _type = NilableType(_expr.type)
+        if not _expr.hasError
+            assert _expr.type
+            if _expr.type inherits NilableType
+                _type = _expr.type
+                .compiler.warning(this, 'The given expression is already nilable so "to ?" is redundant. You can remove it.')  # TODO: needs test case
+            else
+                _type = .typeProvider.nilableType(_expr.type to !)