Ticket #197: lambda-return.patch

Source/Statements.cobra

@@ -1083 +1083 @@
                 .throwError('Cannot return [expr.type.name] because "[curCodeMember.name]" is [suffix]')
             expr.contextType = curCodeMember.resultType
         else
-            if curCodeMember.resultType is not .compiler.voidType
+            if curCodeMember.resultType is not .compiler.voidType and  curCodeMember.resultType is not .compiler.passThroughType
                 .throwError('Return statement must return a [curCodeMember.resultType.name], or [curCodeMember.name] must have its return type removed.')
         curCodeMember.hasReturnStmt = true
         _backEndResultVarName = curCodeMember.backEndResultVarName

Tests/320-misc-two/830-lambdas/300-lambdas-return.cobra

@@ +1 @@
+"""
+Ticket#197 spurious compile error on return in lambda/anon fn with no return
+"""
+sig Delg
+
+class DoX
+    def main is shared
+        i = 0
+        anon as Delg = do
+            if i > 7
+                return
+            assert i <=7 #print i 
+        
+        for i in 0: 10
+            anon()

Developer/IntermediateReleaseNotes.text

@@ -431 +431 @@
 * Fixed: An uncaught exception can occur for some library calls.
 
 * Fixed: Cannot instantiate generic params under some circumstances.
+
+* Fixed: Spurious compiler error in void anon method with a return. Ticket#197