[nem-bug] [Nemerle 0000649]: Can't provide generic constraint in quoted declaration

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=649> 
======================================================================
Reported By:                OysterDva
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   649
Category:                   Compiler (parser/macros engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             04-06-2006 16:00 CEST
Last Modified:              04-06-2006 16:00 CEST
======================================================================
Summary:                    Can't provide generic constraint in quoted
declaration
Description: 
The following code doesn't compile:

interface ISome {}
macro Test()
{
  _ = <[ decl: struct SomeValue[T] : ISome where T : ISome {} ]>;
  <[()]>
}
_ = 1

Error message is the following: "error : wrong number of parameters in
call, needed 2, got 3".

The problem is with generic constraint because the following code compiles
without any problems:

interface ISome {}
macro Test()
{
  _ = <[ decl: struct SomeValue[T] : ISome /* where T : ISome */ {} ]>;
  <[()]>
}
_ = 1
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
04-06-06 16:00 OysterDva      New Issue                                    
======================================================================