Changeset 1586

Timestamp:

08/19/08 06:38:05 (3 months ago)

Author:

Chuck.Esterbrook

Message:

Enable ensure for extension methods (which are new since the last release).

Location:

cobra/trunk

Files:

• Source/Members.cobra (modified) (1 diff)
• Tests/420-extensions/300-extend-contracts.cobra (added)

cobra/trunk/Source/Members.cobra

@@ -2156 +2156 @@
                         sw.write('[.sharpThis], null);\n')
                         sw.dedent
-                if not _codeMember.isShared
+                if not _codeMember.isShared and not _codeMember.isExtensionMember
                         sw.write('if (CobraCore._willCheckInvariant && _ih_invariantGuard == 0) {\n')
                         sw.indent