[#BOO-820] Honor generic parameter constraints when constructing generic types - jira.codehaus.org

Details

Type: Improvement
Status: Resolved
Priority: Minor
Resolution: Fixed
Affects Version/s: 0.7.6
Fix Version/s: 0.8.1
Component/s: Compiler, Type System
Labels:
None

Number of attachments :
0

Description

The compiler should check, when constructing generic types, that the constraints imposed on generic parameters are not violated.
For example, Nullable of T requires that T is a value-type, etc.

Issue Links

This issue relates to:
BOO-807	Issues with using nullable types in Boo

This issue is depended upon by:
BOO-805	Can't use == on nullable types
BOO-448	Generics
BOO-822	Interpretator incorrectly adds two nullable decimals

Activity

Hide

Permalink

Avishay Lavie added a comment - 04/Jan/08 4:20 PM

Implemented in latest revisions.

Show

Avishay Lavie added a comment - 04/Jan/08 4:20 PM Implemented in latest revisions.

People

Assignee:

Avishay Lavie

Reporter:

Avishay Lavie

Vote (0)

Watch (1)

Dates

Created:

30/Apr/07 3:12 PM

Updated:

04/Jan/08 4:20 PM

Resolved:

04/Jan/08 4:20 PM

Boo

Honor generic parameter constraints when constructing generic types