[#BOO-820] Honor generic parameter constraints when constructing generic types

Boo

Honor generic parameter constraints when constructing generic types

Created: 30/Apr/07 03:12 PM Updated: 04/Jan/08 04:20 PM

Component/s:

Type System, Compiler

Affects Version/s:

0.7.6

Fix Version/s:

0.8.1

Time Tracking:

Not Specified

Issue Links:

Related

This issue relates to:

~~BOO-807~~ Issues with using nullable types in Boo

dependent

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

Description

« Hide

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.

All

Comments

Work Log

Change History

Sort Order:

Ascending order - Click to sort in descending order

[ Permlink | « Hide ]

Avishay Lavie - 04/Jan/08 04:20 PM

Implemented in latest revisions.