[nem-bug] [Nemerle 0000982]: Don't work constraint on value type

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=982> 
======================================================================
Reported By:                VladD2
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   982
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             03-31-2007 07:42 CEST
Last Modified:              04-30-2007 11:58 CEST
======================================================================
Summary:                    Don't work constraint on value type
Description: 
public FindValue[T](this seq : SCG.IEnumerable[T], predicate : T -> bool) 
  : T? // E: typing constraint on T not satisfied, upon instantiation 
       // of System.Nullable: System.Object is not a subtype of
System.ValueType [simple require]
  where T : struct
{
  foreach (item in seq)
    when (predicate(item))
      return item;

  null;
}
======================================================================

----------------------------------------------------------------------
 malekith - 04-30-07 11:58 
----------------------------------------------------------------------
Resolved on trunk, r7630.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
03-31-07 07:42 VladD2         New Issue                                    
04-30-07 11:58 malekith       Status                   new => resolved     
04-30-07 11:58 malekith       Resolution               open => fixed       
04-30-07 11:58 malekith       Assigned To               => malekith        
04-30-07 11:58 malekith       Note Added: 0001861                          
======================================================================