the compiler does not properly detect a mismatching return type when a method's / function's return type is void.
eg1:
import System
// expecting 'as string' return type
callable MyCallable(i as int) as string
def call(cb as MyCallable):
print cb(3)
// incorrect return type 'void' for a MyCallable
def func1(i as int) as void :
print i
call(func1) // .. compiles but crashes
//----
eg2:
def foo() as void:
print "foo"
pa = foo() // .. compiles but crashes
Description
the compiler does not properly detect a mismatching return type when a method's / function's return type is void.
eg1:
import System
// expecting 'as string' return type
callable MyCallable(i as int) as string
def call(cb as MyCallable):
print cb(3)
// incorrect return type 'void' for a MyCallable
def func1(i as int) as void :
print i
call(func1) // .. compiles but crashes
//----
eg2:
def foo() as void:
print "foo"
pa = foo() // .. compiles but crashes
Rodrigo B. de Oliveira - 23/Apr/05 12:07 PM The adaptation from 'callable() as void' to 'callable() as string' was correctly allowed but the generated code was wrong.
It's fixed now. The effect is having the adaptor returning the equivalent NULL value for each type.
Bug
Closed
Major
incorrect check of void return type
It's fixed now. The effect is having the adaptor returning the equivalent NULL value for each type.