Ticket #67: ticket67.patch

Source/Boxes.cobra

@@ -1166 +1166 @@
         return true
 
     get subclasses from var
+    
+    pro baseNode from var
 
     def declForName(name as String) as IBoxMember? is override
         """

Source/CobraParser.cobra

@@ -1160 +1160 @@
                         .throwError(decl.token, 'The other partial declaration is a "[otherDecl.englishName]", not a "[decl.englishName]".')
                     if 'partial' not in otherDecl.isNames
                         .throwError(decl.token, 'The other declaration is not marked "partial".')
-                    otherBox = otherDecl to Box  # will always work because of above checks
+                    otherBox = otherDecl to Box  # will always work because of above check
+                    
+                    # deal with partial classes and inheritance
+                    if otherBox inherits Class
+                        myDecl = decl to Class # safe because already checked that it was the same type as otherBox
+                        if otherBox.baseNode is nil                 
+                            if myDecl.baseNode is not nil
+                                otherBox.baseNode = myDecl.baseNode
+                        else
+                            myOtherType = otherBox.baseNode to AbstractTypeIdentifier
+                            if otherBox.baseNode == myDecl.baseNode
+                                _warning(myDecl.token, 'The class "[otherBox.name]" already inherits from "[myOtherType.name]".')
+                            else if myDecl.baseNode is not nil
+                                thisType = myDecl.baseNode to AbstractTypeIdentifier
+                                .throwError(myDecl.token, 'The class "[otherBox.name]" already inherits from "[myOtherType.name]" and cannot inherit from "[thisType.name]" too.')
+                    
                     for memberDecl in decl.declsInOrder
                         overload = _overloadIfNeeded(memberDecl.idToken, otherBox, memberDecl.name)
                         if overload

Tests/120-classes/990-errors/104-inherit-partial-different.cobra

@@ +1 @@
+class A
+    pass
+
+class X
+    is partial
+    inherits A
+    pass
+
+class B
+    pass
+
+class X # .error. already
+    is partial
+    inherits B
+
+class Test
+    
+    def main
+        myThing = X() 

Tests/120-classes/604-inherits-partial.cobra

@@ +1 @@
+class Z is partial
+    pass
+
+class A
+    pass
+
+class X
+    is partial
+    inherits A
+    pass
+
+class B
+    pass
+
+class X # .warning. already
+    is partial
+    inherits A
+    
+class Z
+    is partial
+    inherits B
+    
+    def hi
+        print 'hi'
+
+class Test
+    
+    def main
+        myThing = X()
+        assert myThing inherits A # .warning. always
+        bThing = Z()
+        assert bThing inherits B # .warning. always