[nem-bug] [Nemerle 0000820]: Type load exception

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=820> 
======================================================================
Reported By:                VladD2
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   820
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             01-08-2007 07:31 CET
Last Modified:              01-08-2007 07:31 CET
======================================================================
Summary:                    Type load exception
Description: 
Add into Location class following method cause Type load exception.

/// The 'lst' must be ordered. This function test only first and last
elements.
public static OrderedContains[T](this lst : list[T], testLine : int,
testCol : int) : bool
  where T : Located
{
  Debug.Assert(lst.IsOrdered((x, y) => x.Location.CompareTo(y.Location) >
0));

  if (lst.IsEmpty)
    false
  else
    (lst.Head.Location + lst.Last.Location).Contains(testLine, testCol)
}

======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
01-08-07 07:31 VladD2         New Issue                                    
======================================================================