[jira] Created: (BOO-260) incorrect check of void return type

Message:

  A new issue has been created in JIRA.

---------------------------------------------------------------------
View the issue:
  http://jira.codehaus.org/browse/BOO-260

Here is an overview of the issue:
---------------------------------------------------------------------
        Key: BOO-260
    Summary: incorrect check of void return type
       Type: Bug

     Status: Unassigned
   Priority: Major

 Original Estimate: Unknown
 Time Spent: Unknown
  Remaining: Unknown

    Project: Boo
 Components: 
             Compiler
   Versions:
             0.5

   Assignee: 
   Reporter: Philippe Quesnel

    Created: Fri, 25 Feb 2005 12:33 PM
    Updated: Fri, 25 Feb 2005 12:33 PM
Environment: Windows2000, Ms .NET 1.1, Boo rel 0.5

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



---------------------------------------------------------------------
JIRA INFORMATION:
This message is automatically generated by JIRA.

If you think it was sent incorrectly contact one of the administrators:
   http://jira.codehaus.org/secure/Administrators.jspa

If you want more information on JIRA, or have a bug to report see:
   http://www.atlassian.com/software/jira