Changeset 2419

Timestamp:

08/15/10 20:24:54 (18 months ago)

Author:

Chuck.Esterbrook

Message:

Fixed: Some invariants cause an internal error.
ticket:248
reported-by:nevdelap

Location:

cobra/trunk

Files:

• Developer/IntermediateReleaseNotes.text (modified) (1 diff)
• Source/Boxes.cobra (modified) (1 diff)
• Tests/340-contracts/900-invariant.cobra (modified) (2 diffs)

cobra/trunk/Developer/IntermediateReleaseNotes.text

@@ -476 +476 @@
 
 * Fixed: File and line number are duplicated in some compiler error messages.  ticket:212
+
+* Fixed: Some invariants cause an internal error.  ticket:248

cobra/trunk/Source/Boxes.cobra

@@ -727 +727 @@
                 .compiler.recordError(ne)
         for i in _invariants.count
-            invari = _invariants[i]
-            invari.bindImp
+            invari = _invariants[i].bindImp
             if invari.type is not .compiler.boolType
                 _invariants[i] = TruthExpr(invari).bindAll to Expr

cobra/trunk/Tests/340-contracts/900-invariant.cobra

@@ -5 +5 @@
         .name.length
         0 <= .x < 100
+        _b  # previous compiler bug
     
     var _x as int
@@ -19 +20 @@
     def violateX
         _x = 0
+
+    def _b as bool
+        return true