Boo
BOO-854

Anonymous callable types fail when signature contains generic parameters

Details

Type: Bug
Status: Open
Priority: Major
Resolution: Unresolved
Affects Version/s: 0.8.1
Fix Version/s: 0.9.5
Component/s: Compiler
Labels:
None

Number of attachments :
0

Description

When the Boo compiler generates classes for anonymous callable types, it has to make them generic if the target is generic, and provide correct instantiation on usage. As long as this is not implemented, anonymous callables cannot be used in conjunction with generic types or methods.

Failing example:

public class GenericType of T:
  public Delegate as callable(T) 
  // Need to create CompilerGenerated.callable__0[of T]

Issue Links

depends upon

BOO-845 Cannot emit generator methods whose yield type is a generic parameter

is duplicated by

BOO-1139 Cant invoke generic method with anonymous callable parameter type

is related to

BOO-947 generic callable generates bad IL when generic parameter is itself a parameter.

relates to

BOO-1026 Generic return type incompatibility

BOO-763 Defining new generic types

BOO-832 Defining new generic methods

Show 1 more links (1 relates to)

Activity

Ascending order - Click to sort in descending order

Avishay Lavie made changes - 03/Aug/07 4:50 PM

Field	Original Value	New Value
Link		This issue relates to BOO-763 [ BOO-763 ]

Hide

Permalink

Avishay Lavie added a comment - 03/Aug/07 4:53 PM

Changed title and description to refer to anonymous callable types only, since the generators issue is represented in ~~BOO-845~~.

Show

Avishay Lavie added a comment - 03/Aug/07 4:53 PM Changed title and description to refer to anonymous callable types only, since the generators issue is represented in BOO-845 .

Avishay Lavie made changes - 03/Aug/07 4:53 PM

Summary	Compiler generated classes do not support generic types	Anonymous callable types don't signatures containing generic parameters
Description	When the Boo compiler generates classes (for example, for generators or anonymous callable types), it has to make them generic if the target is generic, and provide correct instantiation. As long as this is not implemented, anonymous callables or generators cannot be used in conjunction with generic types or methods. Failing examples: Generator - {code} public class GenericType of T: def Method(items as (T)) as IEnumerator of T: for item in items: yield item // Need to create CompilerGenerated.generator__0[of T] {code} Anonymous callable type - {code} public class GenericType of T: public Delegate as callable(T) // Need to create CompilerGenerated.callable__0[of T] {code}	When the Boo compiler generates classes for anonymous callable types, it has to make them generic if the target is generic, and provide correct instantiation on usage. As long as this is not implemented, anonymous callables cannot be used in conjunction with generic types or methods. Failing example: {code} public class GenericType of T: public Delegate as callable(T) // Need to create CompilerGenerated.callable__0[of T] {code}