Ticket #100: final-errck.patch

Source/Members.cobra

@@ -111 +111 @@
             base.isUsed = value
             .resultType.isUsed = true
 
+    get isFinal as bool
+        return 'final' in _isNames
+        
     get englishName as String is abstract
 
     get defaultAccessLevel as String
@@ -476 +479 @@
     inherits BoxField
     implements IVar
     """
-    A BoxVar is a variable or constant declared for a box, whether instance or shared. For example:
+    A BoxVar is a variable declared for a box, whether instance or shared. For example:
         var _x as int is shared
-        const PI = 3.14
+        var myPI = 3.14
 
     Classes and structs can have vars, but interfaces cannot.
     """

Source/BinaryOpExpr.cobra

@@ -191 +191 @@
             if _left inherits NameExpr
                 _trackLocal = _left.definition inherits AbstractLocalVar
                 if _trackLocal, _trackName = _left.namedDefinition.name
+        if .curCodeMember and not .curCodeMember inherits Initializer and _left.definition inherits BoxVar and _left.definition.isFinal
+            .throwError('The final field "[_left.definition.name]" cannot be assigned to except in an initializer or the fields declaration and initialization')
+                        
 
 
 class AssignExpr